{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T07:28:35Z","timestamp":1791098915494,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540922421","type":"print"},{"value":"9783540922438","type":"electronic"}],"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_1","type":"book-chapter","created":{"date-parts":[[2009,3,25]],"date-time":"2009-03-25T15:02:36Z","timestamp":1237993356000},"page":"1-15","source":"Crossref","is-referenced-by-count":6,"title":["Welcome to Constraint Handling Rules"],"prefix":"10.1007","author":[{"given":"Thom","family":"Fr\u00fchwirth","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Third International Conference on Principles and Practice of Constraint Programming, CP97","author":"S. Abdennadher","year":"1997","unstructured":"Abdennadher, S.: Operational Semantics and Confluence of Constraint Propagation Rules. In: Smolka, G. (ed.) CP 1997. LNCS, vol.\u00a01330. Springer, Heidelberg (1997)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Abdennadher, S., Fr\u00fchwirth, T., Holzbaur, C. (eds.): Special Issue on Constraint Handling Rules. Journal of Theory and Practice of Logic Programming (TPLP) (to appear, 2005)","DOI":"10.1017\/S1471068405002346"},{"issue":"2","key":"1_CR3","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1023\/A:1009842826135","volume":"4","author":"S. Abdennadher","year":"1999","unstructured":"Abdennadher, S., Fr\u00fchwirth, T., Meuss, H.: Confluence and Semantics of Constraint Simplification Rules. Constraints\u00a04(2), 133\u2013165 (1999)","journal-title":"Constraints"},{"issue":"2","key":"1_CR4","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0167-739X(88)90012-X","volume":"4","author":"J.-P. Ban\u00e2tre","year":"1988","unstructured":"Ban\u00e2tre, J.-P., Coutant, A., Le Metayer, D.: A Parallel Machine for Multiset Transformation and its Programming Style. Future Generation Computer Systems\u00a04(2), 133\u2013144 (1988)","journal-title":"Future Generation Computer Systems"},{"key":"1_CR5","volume-title":"Programming Expert Systems in OPS5: An Introduction to Rule-based Programming","author":"L. Brownston","year":"1985","unstructured":"Brownston, L., Farrell, R., Kant, E., Martin, N.: Programming Expert Systems in OPS5: An Introduction to Rule-based Programming. Addison-Wesley, Boston (1985)"},{"key":"1_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139172752","volume-title":"Term Rewriting and All That","author":"F. Baader","year":"1998","unstructured":"Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge Univ. Press, Cambridge (1998)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Duck, G.J., Stuckey, P.J., de la Banda, M.G., Holzbaur, C.: The Refined Operational Semantics of Constraint Handling Rules. In: Demoen, B., Lifschitz, V. (eds.) Proceedings of the 20th International Conference on Logic Programming (2004)","DOI":"10.1007\/978-3-540-27775-0_7"},{"key":"1_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05138-2","volume-title":"Essentials of Constraint Programming","author":"T. Fr\u00fchwirth","year":"2003","unstructured":"Fr\u00fchwirth, T., Abdennadher, S.: Essentials of Constraint Programming. Springer, Heidelberg (2003)"},{"issue":"1-3","key":"1_CR9","doi-asserted-by":"publisher","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, Special Issue on Constraint Logic programming. Journal of Logic Programming\u00a037(1-3), 95\u2013138 (1998)","journal-title":"Journal of Logic Programming"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1007\/3-540-44654-0_15","volume-title":"Selected Papers from the Joint ERCIM\/Compulog Net Workshop on New Trends in Contraints","author":"T. Fr\u00fchwirth","year":"2000","unstructured":"Fr\u00fchwirth, T.: Proving Termination of Constraint Solver Programs. In: Apt, K.R., Kakas, A.C., Monfroy, E., Rossi, F. (eds.) Compulog Net WS 1999. LNCS, vol.\u00a01865, pp. 298\u2013317. Springer, Heidelberg (2000)"},{"key":"1_CR11","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":"1_CR12","unstructured":"Schrijvers, T., Fr\u00fchwirth, T.: CHR Website (May 2005), \n                  \n                    http:\/\/www.cs.kuleuven.ac.be\/~dtai\/projects\/CHR\/"}],"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_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,7]],"date-time":"2019-03-07T06:59:08Z","timestamp":1551941948000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92243-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540922421","9783540922438"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92243-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}