1. [n. d.]. Artifact Review and Badging – Version 1.1. https://www.acm.org/publications/policies/artifact-review-and-badging-current [n. d.]. Artifact Review and Badging – Version 1.1. https://www.acm.org/publications/policies/artifact-review-and-badging-current
2. [n. d.]. GLADE Implementation and experiments. https://github.com/obastani/glade-full [n. d.]. GLADE Implementation and experiments. https://github.com/obastani/glade-full
3. [n. d.]. Grammars written for ANTLR v4. https://github.com/antlr/grammars-v4 [n. d.]. Grammars written for ANTLR v4. https://github.com/antlr/grammars-v4
4. Learning regular sets from queries and counterexamples
5. When won't membership queries help?