1. Bonnet, R., Pouzet, M.: Linear extensions of ordered sets. In: Ordered Sets (Banff, Alta., 1981). NATO Adv. Study Inst. Ser. C: Math. Phys. Sci., vol. 83, pp. 125–170. Reidel, Dordrecht (1982)
2. Clote, P.: The metamathematics of Fraïssé’s order type conjecture. In: Recursion Theory Week (Oberwolfach, 1989). Lecture Notes in Mathematics, vol. 1432, pp. 41–56. Springer, Berlin Heidelberg New York (1990)
3. Downey, R.G., Hirschfeldt, D.R., Lempp, S., Solomon, R.: Computability-theoretic and proof-theoretic aspects of partial and linear orderings. Isr. J. Math. 138, 271–352 (2003)
4. Fraïssé, R.: Sur la comparaison des types d’ordres. C. R. Acad. Sci. Paris 226, 1330–1331 (1948)
5. Fraïssé, R.: Theory of Relations. North Holland, Amsterdam, The Netherlands (revisted edition) (2000)