0-1 laws and decision problems for fragments of second-order logic (1990)

by G Kolaitis, M Y Vardi
Venue:Information and Computation