{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T07:43:30Z","timestamp":1750059810549},"publisher-location":"Berlin, Heidelberg","reference-count":82,"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_7","type":"book-chapter","created":{"date-parts":[[2009,3,25]],"date-time":"2009-03-25T11:02:36Z","timestamp":1237978956000},"page":"161-212","source":"Crossref","is-referenced-by-count":4,"title":["CHR for Imperative Host Languages"],"prefix":"10.1007","author":[{"given":"Peter","family":"Van Weert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pieter","family":"Wuille","sequence":"additional","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":"7_CR1","unstructured":"The Constraint Handling Rules (CHR) programming language homepage, http:\/\/www.cs.kuleuven.be\/~dtai\/projects\/CHR\/"},{"issue":"1\u20133","key":"7_CR2","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":"7_CR3","unstructured":"Sneyers, J., Van Weert, P., Schrijvers, T., De Koninck, L.: As time goes by: Constraint Handling Rules \u2014 a survey of CHR research between 1998 and 2007. Journal of Theory and Practice of Logic Programming (submitted, 2008)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Holzbaur, C., Fr\u00fchwirth, T.: A Prolog Constraint Handling Rules compiler and runtime system. In: [76], pp. 369\u2013388","DOI":"10.1080\/088395100117043"},{"key":"7_CR5","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":"7_CR6","unstructured":"Schrijvers, T., Demoen, B.: The K.U.Leuven CHR system: Implementation and application. In: [77], pp. 8\u201312"},{"key":"7_CR7","unstructured":"Duck, G.J.: Compilation of Constraint Handling Rules. Ph.D thesis, University of Melbourne, Australia (December 2005)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Holzbaur, C., Garc\u00eda de la Banda, M., Stuckey, P.J., Duck, G.J.: Optimizing compilation of Constraint Handling Rules in HAL. In: [78], pp. 503\u2013531","DOI":"10.1017\/S1471068405002413"},{"key":"7_CR9","series-title":"ENTCS","first-page":"1","volume-title":"WFLP 2001: Proc. 10th Intl. Workshop on Functional and (Constraint) Logic Programming","author":"S. Abdennadher","year":"2002","unstructured":"Abdennadher, S., Kr\u00e4mer, E., Saft, M., Schmau\u00df, M.: JACK: A Java Constraint Kit. In: Hanus, M. (ed.) WFLP 2001: Proc. 10th Intl. Workshop on Functional and (Constraint) Logic Programming, Kiel, Germany. ENTCS, vol.\u00a064, pp. 1\u201317. Elsevier, Amsterdam (2002), http:\/\/pms.ifi.lmu.de\/software\/jack\/"},{"key":"7_CR10","unstructured":"Vitorino, J., Aurelio, M.: Chord (2005), http:\/\/chord.sourceforge.net\/"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/3-540-45578-7_18","volume-title":"Principles and Practice of Constraint Programming - CP 2001","author":"A. Wolf","year":"2001","unstructured":"Wolf, A.: Adaptive constraint handling with CHR in Java. In: Walsh, T. (ed.) CP 2001. LNCS, vol.\u00a02239, pp. 256\u2013270. Springer, Heidelberg (2001)"},{"key":"7_CR12","unstructured":"Van Weert, P.: The K.U.Leuven JCHR system (2008), http:\/\/www.cs.kuleuven.be\/~petervw\/JCHR\/"},{"key":"7_CR13","unstructured":"Wuille, P.: CCHR: The fastest CHR implementation, in C (2008), http:\/\/www.cs.kuleuven.be\/~pieterw\/CCHR\/"},{"key":"7_CR14","volume-title":"Constraint Handling Rules","author":"T. Fr\u00fchwirth","year":"2008","unstructured":"Fr\u00fchwirth, T.: Constraint Handling Rules. Cambridge University Press, Cambridge (to appear, 2008)"},{"key":"7_CR15","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":"7_CR16","first-page":"79","volume-title":"PPDP 2003","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: PPDP 2003, Uppsala, Sweden, pp. 79\u201390. ACM Press, New York (2003)"},{"key":"7_CR17","unstructured":"Abdennadher, S.: Rule-based Constraint Programming: Theory and Practice. Habilitationsschrift, Institute of Computer Science, LMU, Munich, Germany (July 2001)"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0055987","volume-title":"Flexible Query Answering Systems","author":"S. Abdennadher","year":"1998","unstructured":"Abdennadher, S., Sch\u00fctz, H.: CHR\u2009\u2228\u2009, a flexible query language. In: Andreasen, T., Christiansen, H., Larsen, H. (eds.) FQAS 1998. LNCS, vol.\u00a01495, pp. 1\u201314. Springer, Heidelberg (1998)"},{"key":"7_CR19","unstructured":"Kr\u00e4mer, E.: A generic search engine for a Java Constraint Kit. Diplomarbeit, Institute of Computer Science, LMU, Munich, Germany (January 2001)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Wolf, A.: Intelligent search strategies based on adaptive Constraint Handling Rules. In: [78], pp. 567\u2013594 (2005)","DOI":"10.1017\/S1471068405002383"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-44399-1_7","volume-title":"Advances in Artificial Intelligence \u2014 IBERAMIA-SBIA 2000: Proc. Intl. Joint Conf. 7th Ibero-American Conference on AI \u2013 15th Brazilian Symposium on AI","author":"C.S. Figueira Filho da","year":"2000","unstructured":"da Figueira Filho, C.S., Ramalho, G.L.: JEOPS - the java embedded object production system. In: Monard, M.C., Sichman, J.S. (eds.) SBIA 2000 and IBERAMIA 2000. LNCS, vol.\u00a01952, p. 53. Springer, Heidelberg (2000)"},{"issue":"4","key":"7_CR22","first-page":"19","volume":"8","author":"F. Pachet","year":"1995","unstructured":"Pachet, F.: On the embeddability of production rules in object-oriented languages. Journal of Object-Oriented Programming\u00a08(4), 19\u201324 (1995)","journal-title":"Journal of Object-Oriented Programming"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Pachet, F. (ed.): EOOPS 1994: Proc. OOPSLA 1994 Workshop on Embedded Object-Oriented Production Systems, Portland, Oregon, USA (October 2004)","DOI":"10.1145\/260028.260125"},{"key":"7_CR24","unstructured":"Bouaud, J., Voyer, R.: Behavioral match: Embedding production systems and objects. In: [23]"},{"key":"7_CR25","unstructured":"Van Weert, P., Schrijvers, T., Demoen, B.: K.U.Leuven JCHR: a user-friendly, flexible and efficient CHR system for Java. In: [79], pp. 47\u201362"},{"key":"7_CR26","unstructured":"Wuille, P., Schrijvers, T., Demoen, B.: CCHR: the fastest CHR implementation, in C. In: [80], pp. 123\u2013137"},{"key":"7_CR27","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"7_CR28","series-title":"ENTCS","first-page":"93","volume-title":"RULE 2005: 6th Intl. Workshop on Rule-Based Programming","author":"T. Schrijvers","year":"2006","unstructured":"Schrijvers, T., Demoen, B., Duck, G.J., Stuckey, P.J., Fr\u00fchwirth, T.: Automatic implication checking for CHR constraints. In: RULE 2005: 6th Intl. Workshop on Rule-Based Programming, Nara, Japan, January 2006. ENTCS, vol.\u00a0147(1), pp. 93\u2013111. Elsevier, Amsterdam (2006)"},{"key":"7_CR29","unstructured":"Fages, F., de Oliveira Rodrigues, C.M., Martinez, T.: Modular chr with ask and tell. In: [81], pp. 95\u2013110"},{"key":"7_CR30","volume-title":"C Programming Language","author":"B.W. Kernighan","year":"1988","unstructured":"Kernighan, B.W., Ritchie, D., Ritchie, D.M.: C Programming Language, 2nd edn. Prentice Hall PTR, Englewood Cliffs (1988)","edition":"2"},{"key":"7_CR31","unstructured":"Van Weert, P.: K.U.Leuven JCHR User\u2019s Manual (2008). In: [12]"},{"key":"7_CR32","series-title":"The Java Series","volume-title":"The Java Language Specification","author":"J. Gosling","year":"2005","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 3rd edn. The Java Series. Prentice Hall, Englewood Cliffs (2005)","edition":"3"},{"key":"7_CR33","unstructured":"Bracha, G.: Generics in the Java Programming Language (July 2004) (Tutorial)"},{"key":"7_CR34","unstructured":"Sun Microsystems, Inc.: The Collections framework: API\u2019s and developer guides (2008), http:\/\/java.sun.com\/javase\/6\/docs\/technotes\/guides\/collections\/"},{"key":"7_CR35","unstructured":"Sun Microsystems, Inc.: JavaBeans (2008), http:\/\/java.sun.com\/products\/javabeans\/"},{"key":"7_CR36","unstructured":"Van Weert, P.: Compiling Constraint Handling Rules to Java: A reconstruction. Technical Report CW 521, K.U.Leuven, Dept. Comp. Sc. (August 2008)"},{"key":"7_CR37","unstructured":"Sneyers, J., Schrijvers, T., Demoen, B.: The computational power and complexity of Constraint Handling Rules. In: [79], pp. 3\u201317"},{"key":"7_CR38","unstructured":"De Koninck, L., Sneyers, J.: Join ordering for Constraint Handling Rules. In: [80], pp. 107\u2013121"},{"key":"7_CR39","unstructured":"Duck, G.J., Schrijvers, T.: Accurate functional dependency analysis for Constraint Handling Rules. In: [79], pp. 109\u2013124"},{"key":"7_CR40","first-page":"218","volume-title":"PPDP 2005","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, Lisbon, Portugal, July 2005, pp. 218\u2013229. ACM Press, New York (2005)"},{"key":"7_CR41","series-title":"LNCS(LNAI)","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-540-92243-8_8","volume-title":"Constraint Handling Rules","author":"J. Sneyers","year":"2008","unstructured":"Sneyers, J., Schrijvers, T., Demoen, B.: Guard reasoning in the refined operational semantics of CHR. In: Schrijvers, T., Fr\u00fchwirth, T. (eds.) Constraint Handling Rules. LNCS(LNAI), vol.\u00a05388, pp. 213\u2013244. Springer, Heidelberg (2008)"},{"key":"7_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/11799573_8","volume-title":"Logic Programming","author":"J. Sneyers","year":"2006","unstructured":"Sneyers, J., Schrijvers, T., Demoen, B.: Memory reuse for CHR. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 72\u201386. Springer, Heidelberg (2006)"},{"key":"7_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-78604-7","volume-title":"ICLP 2008: Proc. 24rd Intl. Conf. Logic Programming","author":"P. Weert Van","year":"2008","unstructured":"Van Weert, P.: Optimization of CHR propagation rules. In: ICLP 2008: Proc. 24rd Intl. Conf. Logic Programming, Udine, Italy, December 2008. LNCS. Springer, Heidelberg (accepted, 2008)"},{"key":"7_CR44","unstructured":"Sneyers, J., Schrijvers, T., Demoen, B.: Dijkstra\u2019s algorithm with Fibonacci heaps: An executable description in CHR. In: [82], pp. 182\u2013191"},{"key":"7_CR45","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_CR46","series-title":"Foundations of Artificial Intelligence","volume-title":"Handbook of Constraint Programming","year":"2006","unstructured":"Rossi, F., van Beek, P., Walsh, T. (eds.): Handbook of Constraint Programming. Foundations of Artificial Intelligence. Elsevier, Amsterdam (2006)"},{"key":"7_CR47","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/3-540-55844-6_141","volume-title":"Proc. 4th Intl. Symposium on Programming Language Implementation and Logic Programming","author":"C. Holzbaur","year":"1992","unstructured":"Holzbaur, C.: Metastructures versus attributed variables in the context of extensible unification. In: Proc. 4th Intl. Symposium on Programming Language Implementation and Logic Programming, pp. 260\u2013268. Springer, Heidelberg (1992)"},{"key":"7_CR48","doi-asserted-by":"crossref","unstructured":"Schulte, C., Stuckey, P.J.: Efficient constraint propagation engines. Under consideration for ACM Transactions on Programming Languages and Systems (2008)","DOI":"10.1145\/1452044.1452046"},{"key":"7_CR49","unstructured":"Schrijvers, T., Demoen, B.: Antimonotony-based delay avoidance for CHR. Technical Report CW 385, K.U.Leuven, Dept. Comp. Sc (July 2004)"},{"key":"7_CR50","unstructured":"Van Weert, P.: A tale of histories. In: [81], pp. 79\u201394"},{"key":"7_CR51","unstructured":"Probst, M.: Proper tail recursion in C. Diplomarbeit, Institute of Computer Languages, Vienna University of Technology (2001)"},{"key":"7_CR52","unstructured":"Free Software Foundation: GCC, the GNU Compiler Collection (2008), http:\/\/gcc.gnu.org\/"},{"key":"7_CR53","unstructured":"Bauer, A.: Compilation of functional programming languages using GCC\u2014Tail calls. Master\u2019s thesis, Institut f\u00fcr Informatik, Technische Univ. M\u00fcnchen (2003)"},{"key":"7_CR54","volume-title":"The Java $^\\textsc{TM}$ Virtual Machine Specification","author":"T. Lindholm","year":"1999","unstructured":"Lindholm, T., Yellin, F.: The Java $^\\textsc{TM}$ Virtual Machine Specification, 2nd edn. Prentice Hall, Englewood Cliffs (1999)","edition":"2"},{"key":"7_CR55","unstructured":"Sun Microsystems, Inc.: Java SE HotSpot at a glance (2008), http:\/\/java.sun.com\/javase\/technologies\/hotspot\/"},{"issue":"6","key":"7_CR56","doi-asserted-by":"publisher","first-page":"1029","DOI":"10.1145\/1034774.1034778","volume":"26","author":"J. Clements","year":"2004","unstructured":"Clements, J., Felleisen, M.: A tail-recursive machine with stack inspection. ACM Trans. on Prog. Languages and Systems (TOPLAS)\u00a026(6), 1029\u20131052 (2004)","journal-title":"ACM Trans. on Prog. Languages and Systems (TOPLAS)"},{"issue":"9","key":"7_CR57","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/214448.214454","volume":"30","author":"H.G. Baker","year":"1995","unstructured":"Baker, H.G.: CONS should not CONS its arguments, part II: Cheney on the M.T.A. SIGPLAN Notices\u00a030(9), 17\u201320 (1995)","journal-title":"SIGPLAN Notices"},{"key":"7_CR58","doi-asserted-by":"crossref","unstructured":"Ganz, S.E., Friedman, D.P., Wand, M.: Trampolined style. In: Intl. Conf. on Functional Programming, pp. 18\u201327 (1999)","DOI":"10.1145\/317765.317779"},{"key":"7_CR59","unstructured":"Wielemaker, J.: An overview of the swi-prolog programming environment. In: Proc. 13th Intl. Workshop on Logic Programming Environments, Mumbai, India (2003), http:\/\/www.swi-prolog.org\/"},{"key":"7_CR60","unstructured":"Santos Costa, V., et al.: YAP Prolog, http:\/\/www.ncc.up.pt\/yap\/"},{"key":"7_CR61","unstructured":"Chin, W.N., Sulzmann, M., Wang, M.: A type-safe embedding of Constraint Handling Rules into Haskell. Honors thesis, School of Computing, National University of Singapore (2003)"},{"key":"7_CR62","unstructured":"Stuckey, P.J., Sulzmann, M., Wazny, J.: The Chameleon system. In: [77], pp. 13\u201332"},{"issue":"6","key":"7_CR63","doi-asserted-by":"publisher","first-page":"1216","DOI":"10.1145\/1108970.1108974","volume":"27","author":"P.J. Stuckey","year":"2005","unstructured":"Stuckey, P.J., Sulzmann, M.: A theory of overloading. ACM TOPLAS\u00a027(6), 1216\u20131269 (2005)","journal-title":"ACM TOPLAS"},{"key":"7_CR64","unstructured":"Duck, G.J.: HaskellCHR (2004), http:\/\/www.cs.mu.oz.au\/~gjd\/haskellchr\/"},{"key":"7_CR65","volume-title":"DAMP 2007: Proc. ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, Nice, France","author":"E.S. Lam","year":"2007","unstructured":"Lam, E.S., Sulzmann, M.: A concurrent Constraint Handling Rules semantics and its implementation with software transactional memory. In: DAMP 2007: Proc. ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, Nice, France. ACM Press, New York (2007)"},{"key":"7_CR66","unstructured":"Stahl, M.: STMCHR. In: CHR Homepage [1] (2007)"},{"key":"7_CR67","unstructured":"Schmau\u00df, M.: An implementation of CHR in Java. Diplomarbeit, Institute of Computer Science, LMU, Munich, Germany (November 1999)"},{"key":"7_CR68","unstructured":"Abdennadher, S., Saft, M.: A visualization tool for Constraint Handling Rules. In: Kusalik, A. (ed.) WLPE 2001, Paphos, Cyprus (December 2001)"},{"key":"7_CR69","unstructured":"Robin, J., Vitorino, J.: ORCAS: Towards a CHR-based model-driven framework of reusable reasoning components. In: [82], pp. 192\u2013199"},{"key":"7_CR70","unstructured":"Menezes, L., Vitorino, J., Aurelio, M.: A high performance CHR ${}^\\lor$ execution engine. In: [79], pp. 35\u201345"},{"key":"7_CR71","doi-asserted-by":"crossref","unstructured":"Wolf, A., Gruenhagen, T., Geske, U.: On incremental adaptation of CHR derivations. In: [76], pp. 389\u2013416","DOI":"10.1080\/088395100117052"},{"key":"7_CR72","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C. Forgy","year":"1982","unstructured":"Forgy, C.: Rete: A fast algorithm for the many pattern\/many object pattern match problem. Artificial Intelligence\u00a019, 17\u201337 (1982)","journal-title":"Artificial Intelligence"},{"key":"7_CR73","unstructured":"Miranker, D.P., Brant, D.A., Lofaso, B., Gadbois, D.: On the performance of lazy matching in production systems. In: Proc. 8th Intl. Conf. on Artificial Intelligence, pp. 685\u2013692 (1990)"},{"key":"7_CR74","unstructured":"Friedman-Hill, E., et al.: Jess, the rule engine for the Java platform (2008), http:\/\/www.jessrules.com\/"},{"key":"7_CR75","unstructured":"JBoss: Drools (2008), http:\/\/labs.jboss.com\/drools\/"},{"key":"7_CR76","doi-asserted-by":"crossref","unstructured":"Holzbaur, C., Fr\u00fchwirth, T. (eds.): Special Issue on Constraint Handling Rules. Journal of Applied Artificial Intelligence 14(4) (2000)","DOI":"10.1080\/088395100117043"},{"key":"7_CR77","unstructured":"Fr\u00fchwirth, T., Meister, M. (eds.): CHR 2004: 1st Workshop on Constraint Handling Rules: Selected Contributions, Ulm, Germany (May 2004)"},{"key":"7_CR78","series-title":"Theory and Practice of Logic Programming","volume-title":"Special Issue on Constraint Handling Rules","author":"S. Abdennadher","year":"2005","unstructured":"Abdennadher, S., Fr\u00fchwirth, T., Holzbaur, C.: Special Issue on Constraint Handling Rules. Theory and Practice of Logic Programming, vol.\u00a05(4\u20135). Cambridge University Press, Cambridge (2005)"},{"key":"7_CR79","unstructured":"Schrijvers, T., Fr\u00fchwirth, T. (eds.): CHR 2005: Proc. 2nd Workshop on Constraint Handling Rules. CHR 2005. K.U.Leuven, Dept. Comp. Sc., Technical report CW 421, Sitges, Spain (2005)"},{"key":"7_CR80","unstructured":"Djelloul, K., Duck, G.J., Sulzmann, M. (eds.): CHR 2007: Proc. 4th Workshop on Constraint Handling Rules. CHR 2007, Porto, Portugal (September 2007)"},{"key":"7_CR81","unstructured":"Schrijvers, T., Raiser, F., Fr\u00fchwirth, T. (eds.): CHR 2008: Proc. 5th Workshop on Constraint Handling Rules. CHR 2008. RISC Report Series 08-10, University of Linz, Austria, Hagenberg, Austria (July 2008)"},{"key":"7_CR82","unstructured":"Fink, M., Tompits, H., Woltran, S. (eds.): WLP 2006: Proc. 20th Workshop on Logic Programming. T.U.Wien, Austria, INFSYS Research report 1843-06-02, Vienna, Austria (February 2006)"}],"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_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T12:09:35Z","timestamp":1684930175000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92243-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540922421","9783540922438"],"references-count":82,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92243-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}