0-1 laws for infinitary logics (1990)

by G Kolaitis, M Y Vardi
Venue:In Proceedings of the 5th IEEE Symposium on Logic in Computer Science