Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory

Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory Phokion G. Kolaitis Moshe Y. Vardi 46-57 conf/lics/LICS7 1992 LICS db/conf/lics/lics92.html#KolaitisV92