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