{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T22:25:18Z","timestamp":1750458318672},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540226710"},{"type":"electronic","value":"9783540277750"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27775-0_7","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T16:29:36Z","timestamp":1284568176000},"page":"90-104","source":"Crossref","is-referenced-by-count":58,"title":["The Refined Operational Semantics of Constraint Handling Rules"],"prefix":"10.1007","author":[{"given":"Gregory J.","family":"Duck","sequence":"first","affiliation":[]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[]},{"given":"Mar\u00eda Garc\u00eda","family":"de la Banda","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Holzbaur","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Abdennadher, S.: Operational semantics and confluence of constraint propagation rules. In: Smolka, G. (ed.) Proceedings of the Third International Conference on Principles and Practice of Constraint Programming, pp. 252\u2013266 (1997)","DOI":"10.1007\/BFb0017444"},{"issue":"2","key":"7_CR2","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1023\/A:1009842826135","volume":"4","author":"S. Abdennadher","year":"1999","unstructured":"Abdennadher, S., Fr\u00fchwirth, T., Muess, H.: Confluence and semantics of constraint simplification rules. Constraints\u00a04(2), 133\u2013166 (1999)","journal-title":"Constraints"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Apt, K., Monfroy, E.: Automatic generation of constraint propagation algorithms for small finite domains. In: Principles and Practice of Constraint Programming, pp. 58\u201372 (1999)","DOI":"10.1007\/978-3-540-48085-3_5"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Demoen, B., Garc\u00eda de la Banda, M., Harvey, W., Marriott, K., Stuckey, P.J.: An overview of HAL. In: Proceedings of the Fourth International Conference on Principles and Practices of Constraint Programming, pp. 174\u2013188 (1999)","DOI":"10.1007\/978-3-540-48085-3_13"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/888251.888260","volume-title":"Proceedings of the Fifth ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming","author":"G.J. Duck","year":"2003","unstructured":"Duck, G.J., Stuckey, P.J., Garc\u00eda de la Banda, M., Holzbaur, C.: Extending arbitrary solvers with constraint handling rules. In: Miller, D. (ed.) Proceedings of the Fifth ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pp. 79\u201390. ACM Press, New York (2003)"},{"key":"7_CR6","unstructured":"Fr\u00fchwirth, T.: \n                      \n                        http:\/\/www.pms.informatik.uni-muenchen.de\/~webchr\/"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T. Fr\u00fchwirth","year":"1998","unstructured":"Fr\u00fchwirth, T.: Theory and practice of constraint handling rules. Journal of Logic Programming\u00a037, 95\u2013138 (1998)","journal-title":"Journal of Logic Programming"},{"key":"7_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/3-540-44654-0_15","volume-title":"New Trends in Constraints","author":"T. Fr\u00fchwirth","year":"2000","unstructured":"Fr\u00fchwirth, T.: Proving termination of constraint solver programs. In: Apt, K.R., Kakas, A.C., Monfroy, E., Rossi, F. (eds.) Compulog Net WS 1999. LNCS (LNAI), vol.\u00a01865, pp. 298\u2013317. Springer, Heidelberg (2000)"},{"key":"7_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1270","DOI":"10.1007\/3-540-44957-4_85","volume-title":"Computational Logic - CL 2000","author":"M. Garc\u00eda de la Banda","year":"2000","unstructured":"Garc\u00eda de la Banda, M., Stuckey, P.J., Harvey, W., Marriott, K.: Mode checking in HAL. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 1270\u20131284. Springer, Heidelberg (2000)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/10704567_7","volume-title":"Principles and Practice of Declarative Programming","author":"C. Holzbaur","year":"1999","unstructured":"Holzbaur, C., Fr\u00fchwirth, T.: Compiling constraint handling rules into Prolog with attributed variables. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol.\u00a01702, pp. 117\u2013133. Springer, Heidelberg (1999)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Holzbaur, C., Fr\u00fchwirth, T.: A Prolog constraint handling rules compiler and runtime system. Journal of Applied Artificial Intelligence\u00a014(4) (2000)","DOI":"10.1080\/088395100117043"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/3-540-45635-X_13","volume-title":"Logic Programming: Proceedings of the 17th International Conference","author":"C. Holzbaur","year":"2001","unstructured":"Holzbaur, C., Stuckey, P.J., Garc\u00eda de la Banda, M., Jeffery, D.: Optimizing compilation of constraint handling rules. In: Codognet, P. (ed.) Logic Programming: Proceedings of the 17th International Conference. LNCS, pp. 74\u201389. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27775-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T17:22:59Z","timestamp":1553102579000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27775-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540226710","9783540277750"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27775-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}