A. Colmerauer, Equations and inequations on finite and infinite trees, Proc. of the Int. Conf. on the Fifth Generation of Computer Systems, pp.85-99, 1984.

A. Colmerauer, An introduction to Prolog III, Communication of the ACM, vol.33, issue.7, pp.68-90, 1990.

A. Colmerauer, . Dao, and . Tbh, Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees, Constraints, vol.8, issue.3, pp.283-302, 2003.
DOI : 10.1007/3-540-45349-0_14

URL : https://hal.archives-ouvertes.fr/hal-00144924

T. Dao, Résolution de contraintes du premier ordre dans la théorie des arbres finis ou infinis

K. Djelloul, About the Combination of Trees and Rational Numbers in a Complete First-Order Theory, Proceeding of the 5th Int. Conf. on Frontiers of Combining Systems FroCoS 2005. LNAI, pp.106-122
DOI : 10.1007/11559306_6

T. Fruehwirth and S. Abdelnnadher, Essentials of constraints programming
DOI : 10.1007/978-3-662-05138-2

M. Maher, Complete axiomatizations of the algebras of finite, rational and infinite trees, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science, 1988.
DOI : 10.1109/LICS.1988.5132