L. Pacholski
W. Szwast
30th Annual Symposium on Foundations of Computer Science
Random graphs and the parity quantifier