P. Kolaitis
M. Vardi
Proceedings of the nineteenth annual ACM conference on Theory of computing - STOC ’87
Random graphs and the parity quantifier