1. Backofen, R., Rogers, J., Vijay-Shankar, K.: A first-order axiomatization of the theory of finite trees. J. Log. Lang. Inform. 4(1), 5–39 (1995)
2. Doets, K.: Monadic $$\varPi _1^1$$-theories of $$\varPi _1^1$$-properties. Notre Dame J. Formal Logic 30(2), 224–240 (1989)
3. Doets, K.: Basic Model Theory. CSLI Publications & The European Association for Logic, Language and Information (1996)
4. Goranko, V.: Trees and finite branching. In: Proceedings of the 2nd Panhellenic Logic Symposium, pp. 91–101 (1999)
5. Goranko, V., Kellerman, R.: Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees. To appear