{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T22:02:27Z","timestamp":1750456947629,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,7,14]],"date-time":"2007-07-14T00:00:00Z","timestamp":1184371200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,7,14]]},"DOI":"10.1145\/1273920.1273945","type":"proceedings-article","created":{"date-parts":[[2012,10,10]],"date-time":"2012-10-10T14:45:29Z","timestamp":1349880329000},"page":"179-186","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Unfolding in CHR"],"prefix":"10.1145","author":[{"given":"Paolo","family":"Tacchella","sequence":"first","affiliation":[{"name":"Universit\u00e0 di Bologna"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurizio","family":"Gabbrielli","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Bologna"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Chiara","family":"Meo","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Chieti"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,7,14]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"Lecture Notes in Computer Science 1330","volume-title":"Third Int'l Conf. on Principles and Practice of Constraint Programming (CP 97)","author":"Abdennadher S.","year":"1997","unstructured":"S. Abdennadher . Operational semantics and confluence of constraint propagation rules . In G. Smolka, editor, Third Int'l Conf. on Principles and Practice of Constraint Programming (CP 97) , Lecture Notes in Computer Science 1330 . Springer-Verlag , 1997 . S. Abdennadher. Operational semantics and confluence of constraint propagation rules. In G. Smolka, editor, Third Int'l Conf. on Principles and Practice of Constraint Programming (CP 97), Lecture Notes in Computer Science 1330. Springer-Verlag, 1997."},{"key":"e_1_3_2_1_2_1","first-page":"198","volume-title":"LOPSTR 2003","author":"Abdennadher S.","year":"2004","unstructured":"S. Abdennadher and T. Fr\u00fcwirth . Integration and optimization of rule-based constraint solvers. In M. B. (Ed.), editor , LOPSTR 2003 , LNCS, pages 198 -- 231 , Berlin Heidelberg , 2004 . Springer-Verlag. S. Abdennadher and T. Fr\u00fcwirth. Integration and optimization of rule-based constraint solvers. In M. B. (Ed.), editor, LOPSTR 2003, LNCS, pages 198--231, Berlin Heidelberg, 2004. Springer-Verlag."},{"key":"e_1_3_2_1_3_1","first-page":"90","volume-title":"Holzbaur. The Refined Operational Semantics of Constraint Handling Rules. In ICLP","author":"Duck G. J.","year":"2004","unstructured":"G. J. Duck , P. J. Stuckey , M. J. Garc\u00eda de la Banda, and C . Holzbaur. The Refined Operational Semantics of Constraint Handling Rules. In ICLP , pages 90 -- 104 , September 2004 . G. J. Duck, P. J. Stuckey, M. J. Garc\u00eda de la Banda, and C. Holzbaur. The Refined Operational Semantics of Constraint Handling Rules. In ICLP, pages 90--104, September 2004."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503504"},{"issue":"19","key":"e_1_3_2_1_5_1","first-page":"1","article-title":"Theory and practice of constraint handling rules","volume":"20","author":"Fr\u00fchwirth T.","year":"1998","unstructured":"T. Fr\u00fchwirth . Theory and practice of constraint handling rules . Journal of Logic Programming , 20 ( 19 ): 1 -- 679 , 1998 . T. Fr\u00fchwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 20(19):1--679, 1998.","journal-title":"Journal of Logic Programming"},{"key":"e_1_3_2_1_6_1","series-title":"Lecture Notes in Computer Science","first-page":"133","volume-title":"Logic Based Program Synthesis and Transformation","author":"Fr\u00fchwirth T.","year":"2004","unstructured":"T. Fr\u00fchwirth . Specialization of concurrent guarded multiset transformation rules . In S. Etalle, editor, Logic Based Program Synthesis and Transformation , Lecture Notes in Computer Science , pages 133 -- 148 , Verona, August 26-28 2004 . 14th International Symposium, LOPSTR. T. Fr\u00fchwirth. Specialization of concurrent guarded multiset transformation rules. In S. Etalle, editor, Logic Based Program Synthesis and Transformation, Lecture Notes in Computer Science, pages 133--148, Verona, August 26-28 2004. 14th International Symposium, LOPSTR."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/778163"},{"key":"e_1_3_2_1_8_1","volume-title":"Wiklicky. Probabilistic Constraint Handling Rules. 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002)","volume":"76","author":"Fr\u00fchwirth T.","unstructured":"T. Fr\u00fchwirth , A. Di Pierro and, H . Wiklicky. Probabilistic Constraint Handling Rules. 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002) Selected Papers, Marco Comini and Moreno Falaschi, Eds. , Vol. 76 of Electronic Notes in Theoretical Computer Science (ENTCS), 2002. T. Fr\u00fchwirth, A. Di Pierro and, H. Wiklicky. Probabilistic Constraint Handling Rules. 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002) Selected Papers, Marco Comini and Moreno Falaschi, Eds., Vol. 76 of Electronic Notes in Theoretical Computer Science (ENTCS), 2002."},{"key":"e_1_3_2_1_9_1","volume-title":"Reggio Calabria","author":"Fr\u00fchwirth T.","year":"2003","unstructured":"T. Fr\u00fchwirth , and C. Holzbaur . Source-to-Source Tranformation for a Class of Expressive Rules. APPIA-GULP-PRODE 2003 (AGP 2003) , Reggio Calabria , Italy , September 2003 . T. Fr\u00fchwirth, and C. Holzbaur. Source-to-Source Tranformation for a Class of Expressive Rules. APPIA-GULP-PRODE 2003 (AGP 2003), Reggio Calabria, Italy, September 2003."},{"key":"e_1_3_2_1_10_1","first-page":"74","volume-title":"Stuckey. Optimizing Compilation of Constraint Handling Rules. In Proceedings of the 17th International Conference on Logic Programming","author":"Holzbaur C.","year":"2001","unstructured":"C. Holzbaur , M. J. Garcia de la Banda, D. Jeffery, and P. J . Stuckey. Optimizing Compilation of Constraint Handling Rules. In Proceedings of the 17th International Conference on Logic Programming , pages 74 -- 89 , LNCS 2237, Springer Verlag , 2001 . C. Holzbaur, M. J. Garcia de la Banda, D. Jeffery, and P. J. Stuckey. Optimizing Compilation of Constraint Handling Rules. In Proceedings of the 17th International Conference on Logic Programming, pages 74--89, LNCS 2237, Springer Verlag, 2001."},{"key":"e_1_3_2_1_11_1","volume-title":"Leuven","author":"Sneyers J.","year":"2005","unstructured":"J. Sneyers , T. Schrijvers , and B. Demoen . Guard and continuation optimization for occurrence representations of CHR. CW 420, K. U . Leuven , 2005 . J. Sneyers, T. Schrijvers, and B. Demoen. Guard and continuation optimization for occurrence representations of CHR. CW 420, K. U. Leuven, 2005."},{"key":"e_1_3_2_1_12_1","first-page":"127","volume-title":"Proceedings of International Conference on Logic Programming","author":"Tamaki H.","year":"1984","unstructured":"H. Tamaki and T. Sato . Unfold\/Fold transformations of logic programs . In Proceedings of International Conference on Logic Programming , pages 127 -- 138 , 1984 . H. Tamaki and T. Sato. Unfold\/Fold transformations of logic programs. In Proceedings of International Conference on Logic Programming, pages 127--138, 1984."},{"key":"e_1_3_2_1_13_1","first-page":"582","volume-title":"Proc. Int. Conf. on Fifth Generation Computer Systems 1988 (FGCS'88)","author":"Ueda K.","year":"1988","unstructured":"K. Ueda and K. Furukawa . Transformation rules for GHC programs . In Proc. Int. Conf. on Fifth Generation Computer Systems 1988 (FGCS'88) , pages 582 -- 591 , 1988 . K. Ueda and K. Furukawa. Transformation rules for GHC programs. In Proc. Int. Conf. on Fifth Generation Computer Systems 1988 (FGCS'88), pages 582--591, 1988."}],"event":{"name":"PPDP07: Principles and Practice of Declarative Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Wroclaw Poland","acronym":"PPDP07"},"container-title":["Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1273920.1273945","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1273920.1273945","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:58:09Z","timestamp":1750258689000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1273920.1273945"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,14]]},"references-count":13,"alternative-id":["10.1145\/1273920.1273945","10.1145\/1273920"],"URL":"https:\/\/doi.org\/10.1145\/1273920.1273945","relation":{},"subject":[],"published":{"date-parts":[[2007,7,14]]},"assertion":[{"value":"2007-07-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}