{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:39:37Z","timestamp":1752460777606},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540652243"},{"type":"electronic","value":"9783540494812"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49481-2_4","type":"book-chapter","created":{"date-parts":[[2007,11,24]],"date-time":"2007-11-24T19:46:10Z","timestamp":1195933570000},"page":"25-39","source":"Crossref","is-referenced-by-count":10,"title":["On Completion of Constraint Handling Rules"],"prefix":"10.1007","author":[{"given":"Slim","family":"Abdennadher","sequence":"first","affiliation":[]},{"given":"Thom","family":"Fr\u00fchwirth","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,6,11]]},"reference":[{"key":"4_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-73230-3","volume-title":"Third International Conference on Principles and Practice of Constraint Programming, CP\u201997","author":"S. Abdennadher","year":"2007","unstructured":"S. Abdennadher. Operational semantics and confluence of constraint propagation rules. In Third International Conference on Principles and Practice of Constraint Programming, CP\u201997, LNCS 1330. Springer-Verlag, 1997."},{"key":"4_CR2","volume-title":"PhD thesis","author":"S. Abdennadher","year":"1998","unstructured":"S. Abdennadher. Analyse von regelbasierten Constraintl\u00f6sern (in German). PhD thesis, Computer Science Institute, LMU Munich, February 1998."},{"key":"4_CR3","series-title":"Lect Notes Comput Sci","volume-title":"2nd International Conference on Principles and Practice of Constraint Programming, CP\u201996","author":"S. Abdennadher","year":"1996","unstructured":"S. Abdennadher, T. Fr\u00fchwirth, and H. Meuss. On confluence of constraint handling rules. In 2nd International Conference on Principles and Practice of Constraint Programming, CP\u201996, LNCS 1118. Springer-Verlag, August 1996. Revised and extended version to appear in the Constraints Journal."},{"key":"4_CR4","unstructured":"ACM. The constraint programming working group. Technical report, ACM-MIT SDRC Workshop, Report Outline, Draft, September 1996."},{"key":"4_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the Eighth International Conference on Automated Deduction (Oxford, England)","author":"L. Bachmair","year":"1986","unstructured":"L. Bachmair and N. Dershowitz. Commutation, transformation, and termination. In J. H. Siekmann, editor, Proceedings of the Eighth International Conference on Automated Deduction (Oxford, England), LNCS 230. Springer-Verlag, July 1986."},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0743-1066(92)90050-D","volume":"14","author":"M. P. Bonacina","year":"1992","unstructured":"M. P. Bonacina and J. Hsiang. On rewrite programs: Semantics and relationsship with PROLOG. Journal of Logic Programming, 14:155\u2013180, 1992.","journal-title":"Journal of Logic Programming"},{"key":"4_CR7","unstructured":"N. Dershowitz and N. A. Josephson. Logic programming by completion. In Sten-\u00e5ke T\u00c4rnlund, editor, Proceedings of the Second International Conference on Logic Programming, Uppsala, 1984."},{"key":"4_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the 1st International Workshop on Conditional Term Rewriting Systems","author":"N. Dershowitz","year":"1988","unstructured":"N. Dershowitz, N. Okada, and G. Sivakumar. Confluence of conditional rewrite systems. In J.-P. Jouannaud and S. Kaplan, editors, Proceedings of the 1st International Workshop on Conditional Term Rewriting Systems, LNCS 308, 1988."},{"key":"4_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Constraint Programming: Basics and Trends","author":"T. Fr\u00fchwirth","year":"1995","unstructured":"T. Fr\u00fchwirth. Constraint handling rules. In A. Podelski, editor, Constraint Programming: Basics and Trends, LNCS 910. Springer-Verlag, March 1995."},{"key":"4_CR10","volume-title":"A Declarative Language for Constraint Systems: Theory and Practice of Constraint Handling Rules","author":"T. Fr\u00fchwirth","year":"1998","unstructured":"T. Fr\u00fchwirth. A Declarative Language for Constraint Systems: Theory and Practice of Constraint Handling Rules. Habilitation, Computer Science Institute, LMU Munich, 1998. Shortened version to appear in Journal of Logic Programming, Special Issue on Constraint Logic Programming, P. Stuckey and K. Marriot, editors."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"J. Jaffar and M. J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 20, 1994.","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"4_CR12","unstructured":"D. E. Knuth and P. B. Bendix. Simple word problems in universal algebra. In J. Leech, editor, Computational Problems in Abstract Algebra. Pergamon Press, 1970."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"K. Marriott and P. Stuckey. Programming with Constraints: An Introduction. The MIT Press, 1998.","DOI":"10.7551\/mitpress\/5625.001.0001"},{"key":"4_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming","author":"V. A. Saraswat","year":"1993","unstructured":"V. A. Saraswat. Concurrent Constraint Programming. MIT Press, Cambridge, 1993."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP98"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49481-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,28]],"date-time":"2020-04-28T17:21:30Z","timestamp":1588094490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49481-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540652243","9783540494812"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-49481-2_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}