## Anuj Dawar, Lauri Hella, Phokion G. Kolaitis

*Implicit Definability and Infinitary Logic in Finite Model Theory*

ICALP, 1995.

@inproceedings{ICALP-1995-DawarHK, author = "Anuj Dawar and Lauri Hella and Phokion G. Kolaitis", booktitle = "{Proceedings of the 22nd International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-60084-1_110", isbn = "3-540-60084-1", pages = "624--635", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Implicit Definability and Infinitary Logic in Finite Model Theory}", volume = 944, year = 1995, }