0-1 laws for infinitary logics (1992)

by P Kolaitis, M Vardi
Venue:Information and Computation