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

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