{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:52:23Z","timestamp":1725529943389},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540922421"},{"type":"electronic","value":"9783540922438"}],"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-92243-8_8","type":"book-chapter","created":{"date-parts":[[2009,3,25]],"date-time":"2009-03-25T15:02:36Z","timestamp":1237993356000},"page":"213-244","source":"Crossref","is-referenced-by-count":2,"title":["Guard Reasoning in the Refined Operational Semantics of CHR"],"prefix":"10.1007","author":[{"given":"Jon","family":"Sneyers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Schrijvers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Demoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-540-48085-3_4","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"S. Abdennadher","year":"1999","unstructured":"Abdennadher, S., Fr\u00fchwirth, T.: Operational equivalence of CHR programs and constraints. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 43\u201357. Springer, Heidelberg (1999)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Abdennadher, S., Rigotti, C.: Automatic generation of CHR constraint solvers. In: Abdennadher, S., Fr\u00fchwirth, T., Holzbaur, C. (eds.) Special Issue on Constraint Handling Rules. TPLP, vol.\u00a05(4\u20135), pp. 403\u2013418 (2005)","DOI":"10.1017\/S1471068405002371"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"De Koninck, L., Schrijvers, T., Demoen, B.: User-definable rule priorities for CHR. In: Leuschel, M., Podelski, A. (eds.) PPDP 2007: Proc. 9th Intl. Conf. Princ. Pract. Declarative Programming, Wroclaw, Poland, pp. 25\u201336 (Jully 2007)","DOI":"10.1145\/1273920.1273924"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Duck, G., Stuckey, P., Garc\u00eda de la Banda, M., Holzbaur, C.: Extending arbitrary solvers with Constraint Handling Rules. In: PPDP 2003: Proc. 5th Intl. Conf. Princ. Pract. Declarative Programming, Uppsala, Sweden (2003)","DOI":"10.1145\/888251.888260"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-540-27775-0_7","volume-title":"Logic Programming","author":"G.J. Duck","year":"2004","unstructured":"Duck, G.J., Stuckey, P.J., Garc\u00eda de la Banda, M., Holzbaur, C.: The refined operational semantics of Constraint Handling Rules. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 90\u2013104. Springer, Heidelberg (2004)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth, T.: Theory and Practice of Constraint Handling Rules. In: Stuckey, P., Marriot, K. (eds.) Special Issue on Constraint Logic Programming, Journal of Logic Programming, vol. 37(1\u20133) (October 1998)","DOI":"10.1016\/S0743-1066(98)10005-5"},{"key":"8_CR7","unstructured":"Henderson, F., Somogyi, Z., Conway, T.: Determinism analysis in the Mercury compiler. In: Proceedings of the 19th Australian Computer Science Conference, Melbourne, Australia, pp. 337\u2013346 (January 1996)"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/3-540-45635-X_13","volume-title":"Logic Programming","author":"C. Holzbaur","year":"2001","unstructured":"Holzbaur, C., Garc\u00eda de la Banda, M., Jeffery, D., Stuckey, P.: Optimizing compilation of Constraint Handling Rules. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, pp. 74\u201389. Springer, Heidelberg (2001)"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Holzbaur, C., Garc\u00eda de la Banda, M., Stuckey, P., Duck, G.: Optimizing compilation of Constraint Handling Rules in HAL. In: Abdennadher, S., Fr\u00fchwirth, T., Holzbaur, C. (eds.) Special Issue on Constraint Handling Rules. TPLP, vol.\u00a05(4\u20135), pp. 503\u2013531 (2005)","DOI":"10.1017\/S1471068405002413"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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. Springer, Heidelberg (1999)"},{"key":"8_CR11","unstructured":"Sarna-Starosta, B., Schrijvers, T.: Indexing techniques for CHR based on program transformation. Technical Report CW 500, K.U.Leuven, Dept. Computer Science (August 2007)"},{"key":"8_CR12","unstructured":"Schrijvers, T., Demoen, B.: Antimonotony-based Delay Avoidance for CHR. Technical Report CW 385, K.U.Leuven, Department of Computer Science (July 2004)"},{"key":"8_CR13","unstructured":"Schrijvers, T., Demoen, B.: The K.U.Leuven CHR system: implementation and application. In: Fr\u00fchwirth, T., Meister, M. (eds.) First Workshop on Constraint Handling Rules: Selected Contributions, vol.\u00a02004-01 (2004)"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Schrijvers, T., Stuckey, P., Duck, G.: Abstract Interpretation for Constraint Handling Rules. In: Proceedings of the 7th Intl. Conference on Principles and Practice of Declarative Programming (PPDP 2005), Lisbon, Portugal (July 2005)","DOI":"10.1145\/1069774.1069795"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/11562931_9","volume-title":"Logic Programming","author":"J. Sneyers","year":"2005","unstructured":"Sneyers, J., Schrijvers, T., Demoen, B.: Guard and continuation optimization for occurrence representations of CHR. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668, pp. 83\u201397. Springer, Heidelberg (2005)"},{"key":"8_CR16","unstructured":"Sneyers, J., Schrijvers, T., Demoen, B.: Guard simplification in CHR programs. In: Wolf, A., Fr\u00fchwirth, T., Meister, M. (eds.) Proceedings of the 19th Workshop on (Constraint) Logic Programming (W(C)LP 2005), Ulm, Germany. Ulmer Informatik-Berichte, vol.\u00a02005-01, pp. 123\u2013134 (February 2005)"},{"key":"8_CR17","unstructured":"Sneyers, J., Van Weert, P., De Koninck, L., Schrijvers, T.: As time goes by: Constraint Handling Rules \u2014 A survey of CHR research between 1998 and 2007. In: TPLP (submitted, 2008)"},{"key":"8_CR18","unstructured":"Demoen, B.: hProlog home page, \n                  \n                    http:\/\/www.cs.kuleuven.be\/~bmd\/hProlog"},{"key":"8_CR19","unstructured":"Kaeser, M., et al.: WebCHR., \n                  \n                    http:\/\/chr.informatik.uni-ulm.de\/~webchr\/"},{"key":"8_CR20","unstructured":"Schrijvers, T.: CHR benchmarks and programs. K.U.Leuven CHR home page, \n                  \n                    http:\/\/www.cs.kuleuven.be\/~toms\/Research\/CHR\/"},{"key":"8_CR21","unstructured":"Wielemaker, J.: SWI-Prolog home page, \n                  \n                    http:\/\/www.swi-prolog.org"}],"container-title":["Lecture Notes in Computer Science","Constraint Handling Rules"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92243-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,19]],"date-time":"2019-01-19T09:56:34Z","timestamp":1547891794000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92243-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540922421","9783540922438"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92243-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}