{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T20:32:06Z","timestamp":1768163526127,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540429357","type":"print"},{"value":"9783540456353","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45635-x_14","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T21:27:34Z","timestamp":1181165254000},"page":"90-104","source":"Crossref","is-referenced-by-count":3,"title":["Building Constraint Solvers with HAL"],"prefix":"10.1007","author":[{"given":"Mar\u00eda Garc\u00eda","family":"de la Banda","sequence":"first","affiliation":[]},{"given":"David","family":"Jeffery","sequence":"additional","affiliation":[]},{"given":"Kim","family":"Marriott","sequence":"additional","affiliation":[]},{"given":"Nicholas","family":"Nethercote","sequence":"additional","affiliation":[]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Holzbaur","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,11,13]]},"reference":[{"key":"14_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/3-540-45142-0_6","volume-title":"Procs of LOPSTR2000","author":"F. Bueno","year":"2001","unstructured":"F. Bueno, M. Garcia de la Banda, M. Hermenegildo, K. Marriott, G. Puebla, and P.J. Stuckey. A model for inter-module analysis and optimizing compilation. In Procs of LOPSTR2000, volume 2042 of LNCS, pages 86\u2013102, 2001."},{"key":"14_CR2","unstructured":"P. Codognet and D. Diaz.Boolean constrain solving using clp(FD). In Procs. of ILPS\u20191993, pages 525\u2013539. MIT Press,1993."},{"key":"14_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/978-3-540-48085-3_13","volume-title":"Procs. of PPCP\u2019 99","author":"B. Demoen","year":"1999","unstructured":"B. Demoen, M. Garc \u00eda de la Banda, W. Harvey, K. Marriott, and P.J. Stuckey. An overview of HAL. In Procs. of PPCP\u2019 99, LNCS, pages 174\u2013188, 1999."},{"key":"14_CR4","unstructured":"A.J. Fern\u00fcandez and B.C. Ruiz Jim\u00e9nez. Una sem\u00e1ntica operacional para CProlog. In Proceedings of II Jornadas de Inform\u00e1tica, pages 21\u201330, 1996."},{"key":"14_CR5","unstructured":"T. Fr\u00fchwirth. CHR home page.\n                    http:\/\/www.informatik.uni-muenchen.de\/~fruehwir\/chr\/\n                    \n                  ."},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T. Fr\u00fchwirth","year":"1998","unstructured":"T. Fr\u00fchwirth. Theory and practice of constrain handling rules. Journal of Logic Programming, 37:95\u2013138, 1998.","journal-title":"Journal of Logic Programming"},{"key":"14_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/3-540-49481-2_18","volume-title":"Procs. of PPCP\u201998","author":"W. Harvey","year":"1998","unstructured":"W. Harvey and P.J. Stuckey. Constrain representation for propagation. In Procs. of PPCP\u201998, LNCS, pages 235\u2013249. Springer-Verlag, 1998."},{"key":"14_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Procs. of ICLP17","author":"C. Holzbaur","year":"2001","unstructured":"C. Holzbaur, P.J. Stuckey, M. Garc\u00eda de la Banda, and D. Jeffery. Optimizing compilation of constrain handling rules. In Procs. of ICLP17, LNCS, 2001."},{"key":"14_CR9","series-title":"Technical Report","volume-title":"Type classes in Mercury","author":"D. Jeffery","year":"1998","unstructured":"D. Jeffery, F. Henderson, and Z. Somogyi. Type classes in Mercury. Technical Report 98\/13, University of Melbourne, Australia, 1998."},{"key":"14_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/3-540-19027-9_9","volume-title":"ESOP\u201988 Programming Languages and Systems","author":"S. Kaes","year":"1988","unstructured":"S. Kaes. Parametric overloading in polymorphic programming languages. In ESOP\u201988 Programming Languages and Systems, volume 300 of LNCS, pages 131\u2013141, 1988."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"K. Marriott and P.J. Stuckey. Programming with Constraints:an Introduction. MIT Press, 1998.","DOI":"10.7551\/mitpress\/5625.001.0001"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/S0743-1066(96)00068-4","volume":"29","author":"Z. Somogyi","year":"1996","unstructured":"Z. Somogyi, F. Henderson, and T. Conway. The execution algorithm of Mercury: an efficient purely declarative logic programming language. JLP, 29:17\u201364, 1996.","journal-title":"JLP"},{"key":"14_CR13","unstructured":"M. Trick. \n                    http:\/\/mat.gsia.cmu.edu\/COLOR\/color.html\n                    \n                  ."},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"P. Wadler and S. Blott. How o make ad-hoc polymorphism less ad-hoc. In Proc. 16th ACM POPL, pages 60\u201376, 1989.","DOI":"10.1145\/75277.75283"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45635-X_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T01:23:17Z","timestamp":1550366597000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45635-X_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429357","9783540456353"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45635-x_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}