@article(Buchi60,
 author       = {Richard J. B\"{u}chi},
 year         = {1960},
 title        = {Weak Second-Order Arithmetic and Finite Automata},
 journal      = {Zeitschrift f\"{u}r Mathematische Logik und Grundlagen der Mathematik},
 volume       = {6},
 number       = {1-6},
 pages        = {66--92},
 doi          = {10.1002/malq.19600060105},
)
@book(de2008logical,
 author       = {De Raedt, Luc},
 year         = {2008},
 title        = {Logical and relational learning},
 publisher    = {Springer Science \& Business Media},
 doi          = {10.1007/978-3-540-68856-3},
)
@book(Ebbing95FMT,
 author       = {Heinz{-}Dieter Ebbinghaus and J{\"{o}}rg Flum},
 year         = {1995},
 title        = {Finite model theory},
 series       = {Perspectives in Mathematical Logic},
 publisher    = {Springer},
 doi          = {10.1007/978-3-662-03182-7},
)
@book(ebbinghaus2013mathematical,
 author       = {Heinz-Dieter Ebbinghaus and J{\"o}rg Flum and Wolfgang Thomas},
 year         = {1994},
 title        = {Mathematical Logic (2. ed.)},
 series       = {Undergraduate texts in mathematics},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4757-2355-7},
)
@article(ehrenfeucht1961,
 author       = {Andrzej Ehrenfeucht},
 year         = {1961},
 title        = {An application of games to the completeness problem for formalized theories},
 journal      = {Fundamenta Mathematicae},
 volume       = {49},
 number       = {2},
 pages        = {129--141},
 doi          = {10.4064/fm-49-2-129-141},
)
@book(Gradel05FMT,
 author       = {Erich Gr\"{a}del and P. G. Kolaitis and L. Libkin and M. Marx and J. Spencer and Moshe Y. Vardi and Y. Venema and Scott Weinstein},
 year         = {2005},
 title        = {Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)},
 publisher    = {Springer-Verlag New York, Inc.},
 address      = {Secaucus, NJ, USA},
 doi          = {10.1007/3-540-68804-8},
)
@inproceedings(groheRitzert2017MSO,
 author       = {Martin Grohe and Christof L{\"o}ding and Martin Ritzert},
 year         = {2017},
 title        = {Learning MSO-definable hypotheses on strings},
 booktitle    = {International Conference on Algorithmic Learning Theory},
 pages        = {434--451},
)
@inproceedings(mGroheRitzert2017FO,
 author       = {Martin Grohe and Martin Ritzert},
 year         = {2017},
 title        = {Learning first-order definable concepts over structures of small degree},
 booktitle    = {32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017)},
 organization = {IEEE},
 pages        = {1--12},
 doi          = {10.1109/LICS.2017.8005081},
)
@book(de2010grammatical,
 author       = {De la Higuera, Colin},
 year         = {2010},
 title        = {Grammatical inference: learning automata and grammars},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781139194655},
)
@book(hopcroft2006,
 author       = {John E. Hopcroft and Rajeev Motwani and Jeffrey D. Ullman},
 year         = {2006},
 title        = {Introduction to Automata Theory, Languages, and Computation (3rd Edition)},
 publisher    = {Addison-Wesley Longman Publishing Co., Inc.},
 address      = {Boston, MA, USA},
)
@inproceedings(jordan2013experiments,
 author       = {Charles Jordan and {\L}ukasz Kaiser},
 year         = {2013},
 title        = {Experiments with reduction finding},
 booktitle    = {International Conference on Theory and Applications of Satisfiability Testing},
 series       = {Lecture Notes in Computer Science},
 volume       = {7962},
 publisher    = {Springer},
 pages        = {192--207},
 doi          = {10.1007/978-3-642-39071-5_15},
)
@inproceedings(jordan2013learning,
 author       = {Charles Jordan and Lukasz Kaiser},
 year         = {2013},
 title        = {Learning programs as logical queries},
 booktitle    = {Workshop on Learning Theory and Complexity, LTC},
)
@inproceedings(kaiser12lbg,
 author       = {{\L}ukasz Kaiser},
 year         = {2012},
 title        = {Learning Games from Videos Guided by Descriptive Complexity},
 booktitle    = {Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence},
 series       = {AAAI'12},
 publisher    = {AAAI Press},
 pages        = {963--969},
)
@inproceedings(montanari05,
 author       = {Angelo Montanari and Alberto Policriti and Nicola Vitacolonna},
 year         = {2005},
 title        = {An algorithmic account of Ehrenfeucht games on labeled successor structures},
 booktitle    = {International Conference on Logic for Programming Artificial Intelligence and Reasoning},
 organization = {Springer},
 pages        = {139--153},
 doi          = {10.1007/11591191_11},
)
@article(muggleton1991inductive,
 author       = {Stephen Muggleton},
 year         = {1991},
 title        = {Inductive logic programming},
 journal      = {New generation computing},
 volume       = {8},
 number       = {4},
 pages        = {295--318},
 doi          = {10.1007/BF03037089},
)
@inproceedings(pezzoli99,
 author       = {Elena Pezzoli},
 year         = {1998},
 title        = {Computational complexity of Ehrenfeucht-Fra\IeC{\"\i}ss\IeC{\'e} games on finite structures},
 booktitle    = {International Workshop on Computer Science Logic},
 organization = {Springer},
 pages        = {159--170},
 doi          = {10.1007/10703163_11},
)
@inproceedings(distingqrank2018,
 author       = {Thiago Alves Rocha and Ana Teresa Martins and Francicleber Martins Ferreira},
 year         = {2018},
 title        = {On Distinguishing Sets of Structures by First-Order Sentences of Minimal Quantifier Rank},
 booktitle    = {13th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2018)},
 pages        = {to appear},
)
@inproceedings(dnfstrings2018,
 author       = {Thiago Alves Rocha and Ana Teresa Martins and Francicleber Martins Ferreira},
 year         = {2018},
 title        = {Synthesis of a DNF Formula from a Sample of Strings},
 booktitle    = {7th Brazilian Conference on Intelligent Systems (BRACIS 2018)},
 organization = {IEEE},
 pages        = {to appear},
)
@inproceedings(rogers2013cognitive,
 author       = {James Rogers and Jeffrey Heinz and Margaret Fero and Jeremy Hurst and Dakotah Lambert and Sean Wibel},
 year         = {2013},
 title        = {Cognitive and sub-regular complexity},
 booktitle    = {Formal grammar},
 organization = {Springer},
 pages        = {90--108},
 doi          = {10.1007/978-3-642-39998-5_6},
)
@inproceedings(strother2017using,
 author       = {Strother-Garcia, Kristina and Jerey Heinz and Hyun Jin Hwangbo},
 year         = {2017},
 title        = {Using model theory for grammatical inference: a case study from phonology},
 booktitle    = {International Conference on Grammatical Inference},
 pages        = {66--78},
)
@article(thomas1982classifying,
 author       = {Wolfgang Thomas},
 year         = {1982},
 title        = {Classifying regular events in symbolic logic},
 journal      = {Journal of Computer and System Sciences},
 volume       = {25},
 number       = {3},
 pages        = {360--376},
 doi          = {10.1016/0022-0000(82)90016-2},
)
@inproceedings(wieczorek2014induction,
 author       = {Wojciech Wieczorek and Olgierd Unold},
 year         = {2014},
 title        = {Induction of directed acyclic word graph in a bioinformatics task},
 booktitle    = {International Conference on Grammatical Inference},
 pages        = {207--217},
)
@article(zeitoun2014separation,
 author       = {Marc Zeitoun and Lorijn van Rooijen and Thomas Place},
 year         = {2014},
 title        = {On Separation by Locally Testable and Locally Threshold Testable Languages},
 journal      = {Logical Methods in Computer Science},
 volume       = {10},
 doi          = {10.2168/LMCS-10(3:24)2014},
)