{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:42:07Z","timestamp":1725486127574},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429357"},{"type":"electronic","value":"9783540456353"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45635-x_13","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T21:27:34Z","timestamp":1181165254000},"page":"74-89","source":"Crossref","is-referenced-by-count":5,"title":["Optimizing Compilation of Constraint Handling Rules"],"prefix":"10.1007","author":[{"given":"Christian","family":"Holzbaur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mar\u00eda Garc\u00eda","family":"de la Banda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Jeffery","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,11,13]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"S. Abdennadher. Operational semantics and confluence of constraint propagation rules. In Proceedings of the Third International Conference on Principles and Practice of Constraint Programming, pages 252\u2013266, 1997.","DOI":"10.1007\/BFb0017444"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"B. Demoen, M. Garc\u00eda de la Banda, W. Harvey, K. Marriott, and P.J. Stuckey. An overview of HAL. In Proceedings of the Fourth International Conference on Principles and Practices of Constraint Programming, pages 174\u2013188, 1999.","DOI":"10.1007\/978-3-540-48085-3_13"},{"issue":"1\u20133","key":"13_CR3","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T. Fr\u00fchwirth","year":"1998","unstructured":"T. Fr\u00fchwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37(1\u20133):95\u2013138, 1998.","journal-title":"Journal of Logic Programming"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"C. Holzbaur and T. Fr\u00fchwirth. Constraint handling rules, special issue. Journal of Applied Artificial Intelligence, 14(4), 2000.","DOI":"10.1080\/088395100117043"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/S0743-1066(96)00068-4","volume":"29","author":"Z. Somogyi","year":"1996","unstructured":"Z. Somogyi, F. Henderson, and T. Conway. The execution algorithm of Mercury: an efficient purely declarative logic programming language. Journal of Logic Programming, 29:17\u201364, 1996.","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45635-X_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:41:30Z","timestamp":1556466090000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45635-X_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429357","9783540456353"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-45635-x_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}