{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:30:32Z","timestamp":1725571832508},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540666264"},{"type":"electronic","value":"9783540480853"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-48085-3_13","type":"book-chapter","created":{"date-parts":[[2010,12,16]],"date-time":"2010-12-16T17:25:21Z","timestamp":1292520321000},"page":"174-188","source":"Crossref","is-referenced-by-count":20,"title":["An Overview of HAL"],"prefix":"10.1007","author":[{"given":"Bart","family":"Demoen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Garc\u00eda","family":"de la Banda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Warwick","family":"Harvey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim","family":"Marriott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Stuckey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Demoen, B., Garc\u00eda de la Banda, M., Harvey, W., Marriott, K., Stuckey, P.J.: Herbrand constraint solving in HAL. In: Procs. of ICLP 1999 (to appear)"},{"key":"13_CR2","unstructured":"Demoen, B., Garc\u00eda de la Banda, M., Stuckey, P.J.: Type constraint solving for parametric and ad-hoc polymorphism. In: Procs. of the 22nd Australian Comp. Sci. Conf., pp. 217\u2013228 (1999)"},{"key":"13_CR3","unstructured":"Diaz, D., Codognet, P.: A minimal extension of the WAM for clpfd. In: Procs. of ICLP 1993, pp. 774\u2013790 (1993)"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T. Fr\u00fcwirth","year":"1998","unstructured":"Fr\u00fcwirth, T.: Theory and practice of constraint handling rules. Journal of Logic Programming\u00a037, 95\u2013138 (1998)","journal-title":"Journal of Logic Programming"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Harvey, W., Stuckey, P.J.: Constraint representation for propagation. In: Procs. of PPCP 1998, pp. 235\u2013249 (1998)","DOI":"10.1007\/3-540-49481-2_18"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/BF00245462","volume":"9","author":"N.C. Heintze","year":"1992","unstructured":"Heintze, N.C., Michaylov, S., Stuckey, P.J.: CLP(R) and some electrical engineering problems. Journal of Automated Reasoning\u00a09, 231\u2013260 (1992)","journal-title":"Journal of Automated Reasoning"},{"key":"13_CR7","unstructured":"Hermenegildo, M., Bueno, F., Cabeza, D., Garc\u00eda de la Banda, M., L\u00f3pez, P., Puebla, G.: The CIAO multi-dialect compiler and system. In: Parallelism and Implementation of Logic and Constraint Logic Programming. Nova Science, Bombay (1999)"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/3-540-55844-6_141","volume-title":"Programming Language Implementation and Logic Programming","author":"C. Holzbaur","year":"1992","unstructured":"Holzbaur, C.: Metastructures vs. attributed variables in the context of extensible unification. In: Bruynooghe, M., Wirsing, M. (eds.) PLILP 1992. LNCS, vol.\u00a0631, pp. 260\u2013268. Springer, Heidelberg (1992)"},{"issue":"3","key":"13_CR9","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/129393.129398","volume":"4","author":"J. Jaffar","year":"1992","unstructured":"Jaffar, J., Michaylov, S., Stuckey, P., Yap, R.: The CLP(R) language and system. ACM Transactions on Programming Languages and Systems\u00a04(3), 339\u2013395 (1992)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"13_CR10","unstructured":"Kelly, A., Macdonald, A., Marriott, K., Stuckey, P.J., Yap, R.H.C.: Effectiveness of optimizing compilation of CLP(R). In: Procs. of JICSLP 1992, pp. 37\u201351 (1996)"},{"key":"13_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with Constraints: an Introduction","author":"K. Marriott","year":"1998","unstructured":"Marriott, K., Stuckey, P.J.: Programming with Constraints: an Introduction. MIT Press, Cambridge (1998)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Michel, L., Van Hentenryck, P.: Localizer: A modeling language for local search. In: Procs. of the PPCP 1997, pp. 237\u2013251 (1997)","DOI":"10.1007\/BFb0017443"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/S0743-1066(96)00068-4","volume":"29","author":"Z. Somogyi","year":"1996","unstructured":"Somogyi, Z., Henderson, F., Conway, T.: The execution algorithm of Mercury: an efficient purely declarative logic programming language. Journal of Logic Programming\u00a029, 17\u201364 (1996)","journal-title":"Journal of Logic Programming"},{"key":"13_CR14","unstructured":"Wallace, M. (ed.): CP98 Workshop on Large Scale Combinatorial Optimization and Constraints (1998), \n                    \n                      http:\/\/www.icparc.ic.ac.uk\/~mgw\/chic2_workshop.html"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP\u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48085-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T16:07:02Z","timestamp":1553270822000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48085-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540666264","9783540480853"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48085-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}