Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory

Phokion G. Kolaitis, Moshe Y. Vardi

Browse the full LICS paper archive.