1. A. Ehrenfeucht, An application of games to the completeness problem for formalized theories. Fundam. Math. 49, 129–141 (1961)
2. R. Fraïss$$\acute{e}$$, Sur quelques classifications des syst$$\grave{e}$$mes des relations. Univ. d’Alger Publ. Sci. A 1, 35–182 (1954)
3. H.-D. Ebbinghaus, J. Flum, Finite Model Theory (Springer, Berlin, 2006)
4. H.-D. Ebbinghaus, J. Flum, W. Thomas, Mathematical Logic (Springer Science+Business Media, New York, 1994)
5. L. Libkin, Elements of Finite Models Theory (Springer, Berlin, 2012)