{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:45Z","timestamp":1725664065910},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540582168"},{"type":"electronic","value":"9783540485735"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58216-9_31","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:35:44Z","timestamp":1330270544000},"page":"84-98","source":"Crossref","is-referenced-by-count":3,"title":["Implementing a finite-domain CLP-language on top of Prolog: a transformational approach"],"prefix":"10.1007","author":[{"given":"Henk","family":"Vandecasteele","sequence":"first","affiliation":[]},{"given":"Danny","family":"Schreye","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"7_CR1","unstructured":"Fr\u00e9d\u00e9ric Benhamou and William Older. Applying Interval Arithmetic to Integer and Boolean Constraints. Technical report, Bell Northern Research, 1992."},{"key":"7_CR2","unstructured":"Bart Van Den Bosch. Implementation of a clp library and an application in nurse scheduling. Master's thesis, Katholieke Universiteit Leuven, 1993."},{"key":"7_CR3","unstructured":"Maurice Bruynooghe. Second International Workshop on Meta-programming in Logic, 1990. Leuven, Belgium."},{"key":"7_CR4","unstructured":"Maurice Bruynooghe and Danny De Schreye. Meta-interpretation. In S. C. Shapiro, editor, Encyclopedia of Artificial Intelligence, pages 939\u2013940. John Wiley & Sons, Inc, 1992."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Danny De Schreye, D. Pollet, J. Ronsyn, and Maurice Bruynooghe. Implementing finite-domain constraint logic programming on top of a prolog-system with a delay mechanism. In N. Jones, editor, proceedings of ESOP90, LNCS 432, pages 106\u2013117. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52592-0_58"},{"key":"7_CR6","unstructured":"Daniel Diaz and Philippe Codognet. A minimal extention of the WAM for clp(fd). In Davis S. Warren, editor, Proceedings of the Tenth International Conference on Logic Programming. pages 774\u2013790, 1993."},{"key":"7_CR7","unstructured":"ECRC. ECLIPSE 3.4, Extensions User Manual., 1994."},{"key":"7_CR8","unstructured":"Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. The MIT press, 1989."},{"key":"7_CR9","unstructured":"Pascal Van Hentenryck and Yves Deville. The cardinality operator: A new logical connective for constraint logic programming. In proceedings of ICLP, 1991."},{"key":"7_CR10","unstructured":"Pascal Van Hentenryck, Vijay Saraswat, and Yves Deville. Constraint processing in cc(FD). Brown University, 1992."},{"key":"7_CR11","unstructured":"IBM. IBM SAA AD\/Cycle Prolog\/2 Language Reference, Release 1, 1992."},{"key":"7_CR12","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A. K. Mackworth","year":"1977","unstructured":"Alan K. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8:99\u2013118, 1977.","journal-title":"Artificial Intelligence"},{"issue":"4","key":"7_CR13","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1111\/j.1467-8640.1989.tb00328.x","volume":"5","author":"B. A. Nadel","year":"1989","unstructured":"Bernard A. Nadel. Constraint satisfaction algorithms. Computational Intelligence, 5(4):188\u2013224, November 1989.","journal-title":"Computational Intelligence"},{"key":"7_CR14","unstructured":"Prolog IA. Prolog III Reference Manual, December 1991."}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58216-9_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:36Z","timestamp":1605647916000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58216-9_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540582168","9783540485735"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-58216-9_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}