{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:19:29Z","timestamp":1760170769092},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615514"},{"type":"electronic","value":"9783540706205"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61551-2_62","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:56:17Z","timestamp":1330293377000},"page":"1-15","source":"Crossref","is-referenced-by-count":11,"title":["On confluence of Constraint Handling Rules"],"prefix":"10.1007","author":[{"given":"Slim","family":"Abdennadher","sequence":"first","affiliation":[]},{"given":"Thom","family":"Fr\u00fchwirth","sequence":"additional","affiliation":[]},{"given":"Holger","family":"Meuss","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"1_CR1","volume-title":"Technical report","author":"S. Abdennadher","year":"1996","unstructured":"S. Abdennadher, T. Fr\u00fchwirth, and H. Meuss. Confluent simplification rules. Technical report, LMU Munich, January 1996."},{"key":"1_CR2","volume-title":"ECLiPSe 3.4 Extensions User Manual","author":"P. Brisset","year":"1994","unstructured":"P. Brisset, T. Fr\u00fchwirth, P. Lim, M. Meier, T. Le Provost, J. Schimpf, and M. Wallace. ECL i PS e 3.4 Extensions User Manual ECRC Munich Germany, July 1994."},{"key":"1_CR3","first-page":"31","volume":"308","author":"N. Dershowitz","year":"1988","unstructured":"N. Dershowitz, N. Okada, and G. Sivakumar. Confluence of conditional rewrite systems. In 1st CTRS, pages 31\u201344. LNCS 308, 1988.","journal-title":"LNCS"},{"key":"1_CR4","unstructured":"ECLiPSe 3.4 User Manual, July 1994."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"M. Falaschi, M. Gabbrielli, K. Marriott, and C. Palamidessi. Confluence in concurrent constraint programming. In Alagar and Nivat, editors, Proceedings of AMAST '95, LNCS 936. Springer, 1995.","DOI":"10.1007\/3-540-60043-4_76"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"T. Fr\u00fchwirth. Constraint handling rules. In A. Podelski, editor, Constraint Programming: Basics and Trends. LNCS 910, March 1995.","DOI":"10.1007\/3-540-59155-9"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J. L. Lassez. Constraint logic programming. In Proceedings of the 14th ACM Symposium on Principles of Programming Languages POPL-87, Munich, Germany, pages 111\u2013119, 1987.","DOI":"10.1145\/41625.41635"},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"20","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar and M. J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 20:503\u2013581, 1994.","journal-title":"Journal of Logic Programming"},{"key":"1_CR9","unstructured":"Claude Kirchner and H\u00e9l\u00e8ne Kirchner. Rewriting: Theory and Applications. North-Holland, 1991."},{"key":"1_CR10","unstructured":"M. J. Maher. Logic Semantics for a Class of Committed-Choice Programs. In Fourth International Conference on Logic Programming, pages 858\u2013876, Melbourne, Australia, May 1987."},{"key":"1_CR11","first-page":"310","volume-title":"A confluent calculus for concurrent constraint programming with guarded choice","author":"K. Marriott","year":"1995","unstructured":"K. Marriott and M. Odersky. A confluent calculus for concurrent constraint programming with guarded choice. In Ugo Montanari Francesca Rossi, editor, Principles and Practice of Constraint Programming, Proceedings First International Conference, CP'95, Cassis, France, pages 310\u2013327, Berlin, September 1995. Springer."},{"key":"1_CR12","first-page":"273","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming, volume 1","author":"D. A. Plaisted","year":"1993","unstructured":"David A. Plaisted. Equational reasoning and term rewriting systems. In D. Gabbay, C. Hogger, J. A. Robinson, and J. Siekmann, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 1, chapter 5, pages 273\u2013364. Oxford University Press, Oxford, 1993."},{"key":"1_CR13","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."},{"issue":"3","key":"1_CR14","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"E. Shapiro. The family of concurrent logic programming languages. In ACM Computing Surveys, volume 21:3, pages 413\u2013510, September 1989.","journal-title":"ACM Computing Surveys"},{"key":"1_CR15","first-page":"333","volume-title":"The semantics foundations of concurrent constraint programming","author":"V. A. Saraswat","year":"1991","unstructured":"V. A. Saraswat, M. Rinard, and P. Panangaden. The semantics foundations of concurrent constraint programming. In Conference Record of the Eighteenth Annual ACM Symposium on principles of Programming Languages, pages 333\u2013352, Orlando, Florida, January 1991. ACM Press."},{"key":"1_CR16","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1017\/S0269888900005798","volume":"6","author":"P. Hentenryck van","year":"1991","unstructured":"P. van Hentenryck. Constraint logic programming. In The Knowledge Engineering Review, volume 6, pages 151\u2013194, 1991.","journal-title":"The Knowledge Engineering Review"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61551-2_62.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:34:21Z","timestamp":1619573661000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61551-2_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615514","9783540706205"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-61551-2_62","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}