{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:53Z","timestamp":1761611273531},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540666264"},{"type":"electronic","value":"9783540480853"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-48085-3_4","type":"book-chapter","created":{"date-parts":[[2010,12,16]],"date-time":"2010-12-16T22:25:21Z","timestamp":1292538321000},"page":"43-57","source":"Crossref","is-referenced-by-count":9,"title":["Operational Equivalence of CHR Programs and Constraints"],"prefix":"10.1007","author":[{"given":"Slim","family":"Abdennadher","sequence":"first","affiliation":[]},{"given":"Thom","family":"Fr\u00fchwirth","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Principles and Practice of Constraint Programming - CP97","author":"S. Abdennadher","year":"1997","unstructured":"Abdennadher, S.: Operational semantics and conuence of constraint propagation rules. In: Smolka, G. (ed.) CP 1997. LNCS, vol.\u00a01330. Springer, Heidelberg (1997)"},{"key":"4_CR2","unstructured":"ACM. The constraint programming working group. Technical report, ACMMIT SDRC Workshop, Report Outline (1996)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/3-540-49481-2_4","volume-title":"Principles and Practice of Constraint Programming - CP98","author":"S. Abdennadher","year":"1998","unstructured":"Abdennadher, S., Fr\u00fchwirth, T.: On completion of constraint handling rules. In: Maher, M.J., Puget, J.-F. (eds.) CP 1998. LNCS, vol.\u00a01520, p. 25. Springer, Heidelberg (1998)"},{"key":"4_CR4","unstructured":"Abdennadher, S., Fr\u00fchwirth, T.: Operational equivalence of constraint handling rules. Research report PMS-FB-1999-4, Computer Science Department, University of Munich (1999)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Principles and Practice of Constraint Programming - CP\u201996","author":"S. Abdennadher","year":"1996","unstructured":"Abdennadher, S., Fr\u00fchwirth, T., Meuss, H.: On conuence of constraint handling rules. In: Freuder, E.C. (ed.) CP 1996. LNCS, vol.\u00a01118. Springer, Heidelberg (1996)"},{"key":"4_CR6","unstructured":"Abdennadher, S., Fr\u00fchwirth, T., Meuss, H.: Conuence and semantics of constraint simplification rules. Constraints Journal, Special Issue on the Second International Conference on Principles and Practice of Constraint Programming\u00a04(2) (May 1999)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Etalle, S., Gabrielli, M., Meo, M.: Unfold\/fold transformations of CCP programs. In: 9th International Conference on Concurrency Theory (1998) (Corrected version)","DOI":"10.1007\/BFb0055633"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth, T.: Theory and practice of constraint handling rules, special issue on constraint logic programming. Journal of Logic Programming, 95\u2013138 (October 1998)","DOI":"10.1016\/S0743-1066(98)10005-5"},{"issue":"1","key":"4_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1995.1138","volume":"122","author":"M. Gabbrielli","year":"1995","unstructured":"Gabbrielli, M., Levi, G., Chiara Meo, M.: Observable behaviors and equivalences of logic programs. Information and Computation\u00a0122(1), 1\u201329 (1995)","journal-title":"Information and Computation"},{"key":"4_CR10","volume-title":"Proceedings of Third Inter-national Conference on Logic Programming","author":"M.J. Maher","year":"1986","unstructured":"Maher, M.J.: Equivalences of logic programs. In: Proceedings of Third Inter-national Conference on Logic Programming. Springer, Berlin (1986)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP\u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48085-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T04:33:13Z","timestamp":1559881993000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48085-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540666264","9783540480853"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48085-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}