Fixpoint logic vs. infinitary logic in finite-model theory (1992)

by P G Kolaitis, M Y Vardi
Venue:In Proceedings of the 7th IEEE Symposium on Logic in Computer Science