{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:30Z","timestamp":1750307910063,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,3,11]],"date-time":"2007-03-11T00:00:00Z","timestamp":1173571200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,3,11]]},"DOI":"10.1145\/1244002.1244016","type":"proceedings-article","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T14:37:31Z","timestamp":1181140651000},"page":"58-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Toward a first-order extension of Prolog's unification using CHR"],"prefix":"10.1145","author":[{"given":"Khalil","family":"Djelloul","sequence":"first","affiliation":[{"name":"University of Ulm, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thi-Bich-Hanh","family":"Dao","sequence":"additional","affiliation":[{"name":"Laboratoire d'Informatique, Orleans, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thom","family":"Fruehwirth","sequence":"additional","affiliation":[{"name":"University of Ulm, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,3,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017444"},{"key":"e_1_3_2_1_2_1","unstructured":"Benhamou F. Colmerauer A. Garetta H. Pasero R. and Van-caneghem M. 1996. Le manuel de Prolog IV. PrologIA Marseille France.  Benhamou F. Colmerauer A. Garetta H. Pasero R. and Van-caneghem M. 1996. Le manuel de Prolog IV. PrologIA Marseille France."},{"key":"e_1_3_2_1_3_1","first-page":"231","volume-title":"K. L. Clark and S-A","author":"Colmerauer A.","unstructured":"Colmerauer , A. 1982. Prolog and infinite trees . In K. L. Clark and S-A . Tarnlund, editors, Logic Programming. Academic Press . pp. 231 -- 251 . Colmerauer, A. 1982. Prolog and infinite trees. In K. L. Clark and S-A. Tarnlund, editors, Logic Programming. Academic Press. pp. 231--251."},{"issue":"4","key":"e_1_3_2_1_4_1","first-page":"271","article-title":"Prolog, Theoretical Basis and Current Developments","volume":"2","author":"Colmerauer A.","year":"1983","unstructured":"Colmerauer , A. , Kanoui , H. and Van -caneghem, M. 1983 . Prolog, Theoretical Basis and Current Developments . TSI 2 ( 4 ): 271 -- 311 . Colmerauer, A., Kanoui, H. and Van-caneghem, M. 1983. Prolog, Theoretical Basis and Current Developments. TSI 2(4):271--311.","journal-title":"TSI"},{"key":"e_1_3_2_1_5_1","first-page":"85","volume-title":"Proceeding of the International conference on the fifth generation of computer systems","author":"Colmerauer A.","year":"1984","unstructured":"Colmerauer , A. 1984 . Equations and in equations on finite and infinite trees . Proceeding of the International conference on the fifth generation of computer systems , pp. 85 -- 99 . Colmerauer, A. 1984. Equations and in equations on finite and infinite trees. Proceeding of the International conference on the fifth generation of computer systems, pp. 85--99."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/79204.79210"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025675127871"},{"key":"e_1_3_2_1_8_1","unstructured":"Dao T. 2000. Resolution de contraintes du premier ordre dans la theorie des arbres finis ou infinis. These d'informatique Universite de la mediterranee France.  Dao T. 2000. Resolution de contraintes du premier ordre dans la theorie des arbres finis ou infinis. These d'informatique Universite de la mediterranee France."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068406002997"},{"key":"e_1_3_2_1_10_1","first-page":"105","volume-title":"Proc of the 20th International Conference on Logic Programming. LNCS 3132","author":"Duck G.","unstructured":"Duck , G. , Stuckey , P. , Banda , M. and Holzbaur , C . 2004. The Refined Operational Semantics of Constraint Handling Rules . In Proc of the 20th International Conference on Logic Programming. LNCS 3132 , pp. 105 -- 119 . Duck, G., Stuckey, P., Banda, M. and Holzbaur, C. 2004. The Refined Operational Semantics of Constraint Handling Rules. In Proc of the 20th International Conference on Logic Programming. LNCS 3132, pp. 105--119."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10005-5"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Fruehwirth T. and Abdennadher S. 2003. Essentials of Constraint Programming. Springer.   Fruehwirth T. and Abdennadher S. 2003. Essentials of Constraint Programming. Springer.","DOI":"10.1007\/978-3-662-05138-2"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11562931_11"},{"key":"e_1_3_2_1_14_1","volume-title":"IBM","author":"Maher M.","year":"1988","unstructured":"Maher M. Complete axiomatization of the algebra of finite, rational and infinite trees. Technical report , IBM , 1988 . Maher M. Complete axiomatization of the algebra of finite, rational and infinite trees. Technical report, IBM, 1988."},{"volume-title":"Proc of the third Workshop on Constraint Handling Rules.","author":"Meister M.","key":"e_1_3_2_1_15_1","unstructured":"Meister , M. and Fruehwirth , T . 2006. Complexity of the CHR Rational Tree Equation Solver . In Proc of the third Workshop on Constraint Handling Rules. Meister, M. and Fruehwirth, T. 2006. Complexity of the CHR Rational Tree Equation Solver. In Proc of the third Workshop on Constraint Handling Rules."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"e_1_3_2_1_17_1","unstructured":"Roussel F. 1975. Prolog : Manuel de Reference et d'Utilisation Groupe d'Intelligence Artificielle Marseille-Luminy.  Roussel F. 1975. Prolog : Manuel de Reference et d'Utilisation Groupe d'Intelligence Artificielle Marseille-Luminy."},{"volume-title":"Proc of the third Workshop on Constraint Handling Rules.","author":"Van Weert P.","key":"e_1_3_2_1_18_1","unstructured":"Van Weert , P. , Sneyers , J. , Schrijvers , T. and Demoen , B . 2006. Constraint Handling Rules with Negations as Absence . In Proc of the third Workshop on Constraint Handling Rules. Van Weert, P., Sneyers, J., Schrijvers, T. and Demoen, B. 2006. Constraint Handling Rules with Negations as Absence. In Proc of the third Workshop on Constraint Handling Rules."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.06.039"},{"key":"e_1_3_2_1_20_1","unstructured":"Schrijvers T. and Fruehwirth. CHR Website www.cs.kuleuven.ac.be\/dtai\/projects\/CHR\/  Schrijvers T. and Fruehwirth. CHR Website www.cs.kuleuven.ac.be\/dtai\/projects\/CHR\/"}],"event":{"name":"SAC07: The 2007 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Seoul Korea","acronym":"SAC07"},"container-title":["Proceedings of the 2007 ACM symposium on Applied computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1244002.1244016","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1244002.1244016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:49Z","timestamp":1750258069000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1244002.1244016"}},"subtitle":["a CHR first-order constraint solver over finite or infinite trees"],"short-title":[],"issued":{"date-parts":[[2007,3,11]]},"references-count":20,"alternative-id":["10.1145\/1244002.1244016","10.1145\/1244002"],"URL":"https:\/\/doi.org\/10.1145\/1244002.1244016","relation":{},"subject":[],"published":{"date-parts":[[2007,3,11]]},"assertion":[{"value":"2007-03-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}