The decision problem for the probabilities of higher-order properties
Proceedings of the nineteenth annual ACM conference on Theory of computing - STOC ’87
P. Kolaitis
Random graphs and the parity quantifier