{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:43:32Z","timestamp":1725565412567},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540226710"},{"type":"electronic","value":"9783540277750"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27775-0_8","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T20:29:36Z","timestamp":1284582576000},"page":"105-119","source":"Crossref","is-referenced-by-count":1,"title":["Compiling Ask Constraints"],"prefix":"10.1007","author":[{"given":"Gregory J.","family":"Duck","sequence":"first","affiliation":[]},{"given":"Mar\u00eda Garc\u00eda","family":"de la Banda","sequence":"additional","affiliation":[]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/3-540-45788-7_3","volume-title":"Functional and Logic Programming","author":"M. Garc\u00eda de la Banda","year":"2002","unstructured":"Garc\u00eda de la Banda, M., Demoen, B., Marriott, K., Stuckey, P.J.: To the gates of HAL: a HAL tutorial. In: Hu, Z., Rodr\u00edguez-Artalejo, M. (eds.) FLOPS 2002. LNCS, vol.\u00a02441, pp. 47\u201366. Springer, Heidelberg (2002)"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/888251.888260","volume-title":"Proceedings of the Fifth ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming","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: Miller, D. (ed.) Proceedings of the Fifth ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pp. 79\u201390. ACM Press, New York (2003)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/3-540-45635-X_13","volume-title":"Logic Programming: Proceedings of the 17th International Conference","author":"C. Holzbaur","year":"2001","unstructured":"Holzbaur, C., Stuckey, P.J., Garc\u00eda de la Banda, M., Jeffery, D.: Optimizing compilation of constraint handling rules. In: Codognet, P. (ed.) Logic Programming: Proceedings of the 17th International Conference. LNCS, pp. 74\u201389. Springer, Heidelberg (2001)"},{"key":"8_CR4","first-page":"111","volume-title":"Proc. Fourteenth ACM Symp. Principles of Programming Languages","author":"J. Jaffar","year":"1987","unstructured":"Jaffar, J., Lassez, J.-L.: Constraint logic programming. In: Proc. Fourteenth ACM Symp. Principles of Programming Languages, pp. 111\u2013119. ACM Press, New York (1987)"},{"issue":"1-3","key":"8_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0743-1066(98)10002-X","volume":"37","author":"J. Jaffar","year":"1998","unstructured":"Jaffar, J., Maher, M., Marriott, K., Stuckey, P.J.: The semantics of constraint logic programs. Journal of Logic Programming\u00a037(1-3), 1\u201346 (1998)","journal-title":"Journal of Logic Programming"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Saraswat, V.: Concurrent Constraint Programming Languages. PhD thesis, Carnegie- Mellon University (1989)","DOI":"10.1145\/96709.96733"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/3-540-46584-7_15","volume-title":"Practical Aspects of Declarative Languages","author":"C. Schulte","year":"2000","unstructured":"Schulte, C.: Programming deep concurrent constraint combinators. In: Pontelli, E., Santos Costa, V. (eds.) PADL 2000. LNCS, vol.\u00a01753, pp. 215\u2013229. Springer, Heidelberg (2000)"},{"key":"8_CR8","first-page":"140","volume-title":"Concurrent Prolog: Collected Papers","author":"K. Ueda","year":"1987","unstructured":"Ueda, K.: Guarded horn clauses. In: Shapiro, E. (ed.) Concurrent Prolog: Collected Papers, pp. 140\u2013156. MIT Press, Cambridge (1987)"},{"issue":"1-3","key":"8_CR9","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0743-1066(98)10006-7","volume":"37","author":"P. Hentenryck Van","year":"1998","unstructured":"Van Hentenryck, P., Saraswat, V., Deville, Y.: Design, implementation, and evaluation of the constraint language cc(FD). Journal of Logic Programming\u00a037(1-3), 139\u2013164 (1998)","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27775-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T20:23:31Z","timestamp":1559679811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27775-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540226710","9783540277750"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27775-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}