Phokion G. Kolaitis Moshe Y. Vardi 0-1 Laws and Decision Problems for Fragments of Second-Order Logic 2-11 conf/lics/LICS3 1988 LICS db/conf/lics/lics88.html#KolaitisV88