1. The Probabilistic Method;Alon,2000
2. Threshold functions for small subgraphs;Bollobás;Math. Proc. Camb. Philos. Soc.,1981
3. Counting connected graphs and hypergraphs via the probabilistic method;Coja-Oghlan;Random Struct. Algorithms,2007
4. Finite Model Theory;Ebbinghaus,1999
5. An application of games to the completeness problem for formalized theories;Ehrenfeucht;Fundam. Math.,1960