{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:44:09Z","timestamp":1725522249141},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540899815"},{"type":"electronic","value":"9783540899822"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89982-2_42","type":"book-chapter","created":{"date-parts":[[2008,12,14]],"date-time":"2008-12-14T22:09:15Z","timestamp":1229292555000},"page":"485-500","source":"Crossref","is-referenced-by-count":1,"title":["Optimization of CHR Propagation Rules"],"prefix":"10.1007","author":[{"given":"Peter","family":"Van Weert","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1\u20133","key":"42_CR1","doi-asserted-by":"crossref","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. J. Logic Programming, Special Issue on Constraint Logic Programming\u00a037(1\u20133), 95\u2013138 (1998)","journal-title":"J. Logic Programming, Special Issue on Constraint Logic Programming"},{"key":"42_CR2","unstructured":"Sneyers, J., Van Weert, P., Schrijvers, T., De Koninck, L.: As time goes by: Constraint Handling Rules \u2013 A survey of CHR research between 1998 and 2007. Journal of Theory and Practice of Logic Programming (submitted, 2008)"},{"key":"42_CR3","unstructured":"Schrijvers, T., Demoen, B.: The K.U.Leuven CHR system: Implementation and application. In: CHR 2004: Selected Contributions, Ulm, Germany, pp. 8\u201312 (2004)"},{"key":"42_CR4","unstructured":"Van Weert, P., Schrijvers, T., Demoen, B.: K.U.Leuven JCHR: a user-friendly, flexible and efficient CHR system for Java. In: CHR 2005: Proc. 2nd Workshop on Constraint Handling Rules, Sitges, Spain, pp. 47\u201362 (2005)"},{"key":"42_CR5","unstructured":"Duck, G.J.: Compilation of Constraint Handling Rules. Ph.D thesis, University of Melbourne, Australia (December 2005)"},{"key":"42_CR6","doi-asserted-by":"crossref","unstructured":"Schrijvers, T.: Analyses, optimizations and extensions of Constraint Handling Rules. Ph.D thesis, K.U.Leuven, Belgium (June 2005)","DOI":"10.1007\/11562931_44"},{"key":"42_CR7","unstructured":"Van Weert, P.: A tale of histories. In: CHR 2008: Proc. 5th Workshop on Constraint Handling Rules, Hagenberg, Austria, pp. 79\u201394 (2008)"},{"key":"42_CR8","doi-asserted-by":"crossref","unstructured":"Duck, G.J., Stuckey, P.J., Garc\u00eda de la Banda, M., Holzbaur, C.: The refined operational semantics of Constraint Handling Rules. In: [14], pp. 90\u2013104","DOI":"10.1007\/978-3-540-27775-0_7"},{"key":"42_CR9","first-page":"218","volume-title":"PPDP 2005: Proc. 7th Intl. Conf. Princ. Pract. Declarative Programming, Lisbon, Portugal","author":"T. Schrijvers","year":"2005","unstructured":"Schrijvers, T., Stuckey, P.J., Duck, G.J.: Abstract interpretation for Constraint Handling Rules. In: Barahona, P., Felty, A. (eds.) PPDP 2005: Proc. 7th Intl. Conf. Princ. Pract. Declarative Programming, Lisbon, Portugal, pp. 218\u2013229. ACM, New York (2005)"},{"key":"42_CR10","unstructured":"Schrijvers, T., Demoen, B.: Antimonotony-based delay avoidance for CHR. Technical Report CW 385, K.U.Leuven, Dept. Computer Science (July 2004)"},{"key":"42_CR11","doi-asserted-by":"crossref","unstructured":"Van Weert, P.: Optimization of CHR propagation rules: Extended report. Technical Report CW 519, K.U.Leuven, Dept. Computer Science (August 2008)","DOI":"10.1007\/978-3-540-89982-2_42"},{"key":"42_CR12","doi-asserted-by":"crossref","unstructured":"Schrijvers, T., Warren, D.S.: Constraint Handling Rules and tabled execution. In: [14], pp. 120\u2013136","DOI":"10.1007\/978-3-540-27775-0_9"},{"key":"42_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-540-69611-7_11","volume-title":"Practical Aspects of Declarative Languages","author":"B. Sarna-Starosta","year":"2006","unstructured":"Sarna-Starosta, B., Ramakrishnan, C.: Compiling Constraint Handling Rules for efficient tabled evaluation. In: Hanus, M. (ed.) PADL 2007. LNCS, vol.\u00a04354, pp. 170\u2013184. Springer, Heidelberg (2006)"},{"key":"42_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Logic Programming","year":"2004","unstructured":"Demoen, B., Lifschitz, V. (eds.): ICLP 2004. LNCS, vol.\u00a03132. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89982-2_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,22]],"date-time":"2023-05-22T18:58:52Z","timestamp":1684781932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89982-2_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540899815","9783540899822"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89982-2_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}