## Phokion G. Kolaitis, Moshe Y. Vardi

*Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory*

LICS, 1992.

@inproceedings{LICS-1992-KolaitisV, author = "Phokion G. Kolaitis and Moshe Y. Vardi", booktitle = "{Proceedings of the Seventh Annual Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1992.185518", isbn = "0-8186-2735-2", pages = "46--57", publisher = "{IEEE Computer Society}", title = "{Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory}", year = 1992, }