@article{Colmerauer2003,
    Abstract = {We are interested in the expressiveness of constraints represented by general first order formulae, with equality as unique relation symbol and function symbols taken from an infinite set F. The chosen domain is the set of trees whose nodes, in possibly infinite number, are labelled by elements of F. The operation linked to each element f of F is the mapping (a1,..., an) ↦ b, where b is the tree whose initial node is labelled f and whose sequence of daughters is a1,..., an.},
    Author = {Colmerauer, Alain and Dao, Thi-Bich-Hanh},
    ISSN = {1572-9354},
    Journal = {Constraints},
    Month = {Jul},
    Number = {3},
    Pages = {283--302},
    Title = {Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees},
    URL = {https://doi.org/10.1023/A:1025675127871},
    Volume = {8},
    Year = {2003},
    bdsk-url-1 = {https://doi.org/10.1023/A:1025675127871},
    date-added = {2019-03-12 20:55:53 +0100},
    date-modified = {2019-03-12 20:55:53 +0100},
    day = {01},
    doi = {10.1023/A:1025675127871}
}

@article{Colmerauer2003, Abstract = {We are interested in the expressiveness of constraints represented by general first order formulae, with equality as unique relation symbol and function symbols taken from an infinite set F. The chosen domain is the set of trees whose nodes, in possibly infinite number, are labelled by elements of F. The operation linked to each element f of F is the mapping (a1,..., an) ↦ b, where b is the tree whose initial node is labelled f and whose sequence of daughters is a1,..., an.}, Author = {Colmerauer, Alain and Dao, Thi-Bich-Hanh}, ISSN = {1572-9354}, Journal = {Constraints}, Month = {Jul}, Number = {3}, Pages = {283--302}, Title = {Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees}, URL = {https://doi.org/10.1023/A:1025675127871}, Volume = {8}, Year = {2003}, bdsk-url-1 = {https://doi.org/10.1023/A:1025675127871}, date-added = {2019-03-12 20:55:53 +0100}, date-modified = {2019-03-12 20:55:53 +0100}, day = {01}, doi = {10.1023/A:1025675127871} }