{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:12Z","timestamp":1761611172024},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540637530"},{"type":"electronic","value":"9783540696421"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0017444","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:22:46Z","timestamp":1132644166000},"page":"252-266","source":"Crossref","is-referenced-by-count":64,"title":["Operational semantics and confluence of constraint propagation rules"],"prefix":"10.1007","author":[{"given":"Slim","family":"Abdennadher","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"20_CR1","series-title":"Technical report PMS-FB-1997-15","volume-title":"Rewriting concepts in the study of confluence of constraint handling rules","author":"S. Abdennadher","year":"1997","unstructured":"S. Abdennadher. Rewriting concepts in the study of confluence of constraint handling rules. Technical report PMS-FB-1997-15, Institute of Computer Science, Ludwig-Maximilians-University Munich, January 1997."},{"doi-asserted-by":"crossref","unstructured":"S. Abdennadher, T. Fr\u00fchwirth, and H. Meuss. On confluence of constraint handling rules. In E. Freuder, editor, Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, CP'96, LNCS 1118. Springer, August 1996.","key":"20_CR2","DOI":"10.1007\/3-540-61551-2_62"},{"unstructured":"P. Brisset, T. Fr\u00fchwirth, P. Lim, M. Meier, T. Le Provost, J. Schimpf, and M. Wallace. ECL iPSe 3.4 Extensions User Manual. ECRC Munich Germany, July 1994.","key":"20_CR3"},{"doi-asserted-by":"crossref","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, pages 31\u201344, 1988.","key":"20_CR4","DOI":"10.1007\/3-540-19242-5_3"},{"doi-asserted-by":"crossref","unstructured":"T. Fr\u00fchwirth. Constraint handling rules. In A. Podelski, editor, Constraint Programming: Basics and Trends, LNCS 910. Springer, 1995.","key":"20_CR5","DOI":"10.1007\/3-540-59155-9"},{"key":"20_CR6","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":"20_CR7","volume-title":"Konfluenz von Constraint-Handling-Rules-Programmen","author":"H. Meuss","year":"1996","unstructured":"Holger Meuss. Konfluenz von Constraint-Handling-Rules-Programmen. Master's thesis, Institut f\u00fcr Informatik, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, 1996."},{"key":"20_CR8","doi-asserted-by":"crossref","first-page":"223","DOI":"10.2307\/1968867","volume":"43","author":"M. H. A. Newman","year":"1942","unstructured":"M. H. A. Newman. On theories with a combinatorial definition of equivalence. In Annals of Math, volume 43, pages 223\u2013243, 1942.","journal-title":"Annals of Math"},{"key":"20_CR9","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."},{"key":"20_CR10","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. The Knowledge Engineering Review, 6:151\u2013194, 1991.","journal-title":"The Knowledge Engineering Review"},{"doi-asserted-by":"crossref","unstructured":"H. Zhang and J. L. Remy. Contextual rewriting. In Jean-Pierre Jouannaud, editor, Proceedings of the 1st International Conference on Rewriting Techniques and Applications, volume 202 of LNCS, pages 46\u201362, Dijon, France, May 1985. Springer.","key":"20_CR11","DOI":"10.1007\/3-540-15976-2_2"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming-CP97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0017444","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:53:04Z","timestamp":1586573584000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0017444"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540637530","9783540696421"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0017444","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}