{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T22:25:11Z","timestamp":1750458311598},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540746089"},{"type":"electronic","value":"9783540746102"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74610-2_39","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T02:33:31Z","timestamp":1187922811000},"page":"446-448","source":"Crossref","is-referenced-by-count":5,"title":["Aggregates in Constraint Handling Rules"],"prefix":"10.1007","author":[{"given":"Jon","family":"Sneyers","sequence":"first","affiliation":[]},{"given":"Peter","family":"Van Weert","sequence":"additional","affiliation":[]},{"given":"Tom","family":"Schrijvers","sequence":"additional","affiliation":[]},{"given":"Bart","family":"Demoen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"39_CR1","unstructured":"ISO\/IEC 9075: Information technology \u2013 Database languages \u2013 SQL (2003)"},{"key":"39_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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., de la Banda, M.G., 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)"},{"issue":"1\u20133","key":"39_CR3","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. Journal of Logic\u00a037(1\u20133), 95\u2013138 (1998)","journal-title":"Journal of Logic"},{"key":"39_CR4","doi-asserted-by":"crossref","unstructured":"Schrijvers, T.: Analyses, Optimizations and Extensions of Constraint Handling Rules. PhD thesis, Leuven, K.U. Leuven, Belgium (June 2005)","DOI":"10.1007\/11562931_44"},{"key":"39_CR5","doi-asserted-by":"crossref","unstructured":"Sneyers, J., Van Weert, P., Schrijvers, T.: Aggregates in CHR. Submitted to 4th Workshop on Constraint Handling Rules (2007)","DOI":"10.1007\/978-3-540-74610-2_39"},{"key":"39_CR6","doi-asserted-by":"crossref","unstructured":"Van Weert, P., Sneyers, J., Demoen, B.: Aggregates for CHR through program transformation. 17th Intl. Symposium on Logic-Based Program Synthesis and Transformation (submitted, 2007)","DOI":"10.1007\/978-3-540-78769-3_5"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74610-2_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T15:19:08Z","timestamp":1556810348000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74610-2_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540746089","9783540746102"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74610-2_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}