0-1 Laws and Decision Problems for Fragments of Second-Order Logic Phokion G. Kolaitis Moshe Y. Vardi 301-337 Inf. Comput. July/August 1990 87 1/2 db/journals/iandc/iandc87.html#KolaitisV90