Alain Colmerauer, Thi-Bich-Hanh Dao. Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees. In Rina Dechter, editor, Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings. Volume 1894 of Lecture Notes in Computer Science, pages 172-186, Springer, 2000. [doi]
Abstract is missing.