1. A zero–one law for a random subset;Dolan;Random Structures and Algorithms,1991
2. Finite Model Theory;Ebbinghaus,1995
3. A Mathematical Introduction to Logic;Enderton,1972
4. Ronald Fagin, Generalized first-order spectra and polynomial-time recognizable sets, in: Complexity of Computation, SIAM–AMS Proceedings, 1974, pp. 43–73
5. How complex are random graphs in first order logic?;Kim;Random Structures and Algorithms,2005