1. Ehrenfeucht–Fraïssé games on linear orders;Bissell-Siders,2007
2. On quantifier-rank equivalence between linear orders;Bissell-Siders;Inform. and Comput.,2010
3. Decidability of the theory of the linear order relation;Ehrenfeucht;Notices Amer. Math. Soc.,1959
4. An application of games to completeness problem for formalized theories;Ehrenfeucht;Fund. Math.,1961
5. On the elementary theory of linear order;Läuchli;Fund. Math.,1966