{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:55Z","timestamp":1725664315322},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591757"},{"type":"electronic","value":"9783540492207"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59175-3_111","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:05:07Z","timestamp":1330275907000},"page":"469-482","source":"Crossref","is-referenced-by-count":0,"title":["A rewrite approach for constraint logic programming"],"prefix":"10.1007","author":[{"given":"Gilles","family":"Richard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Saubion","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,6]]},"reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"G. Birkhoff, On the structure of Abstract Algebras, Proceedings Cambridge Phil. Soc. 31, 1935.","DOI":"10.1017\/S0305004100013463"},{"key":"35_CR2","unstructured":"N. Dershowitz and N.A. Josephson, Logic programming by completion, pages 313\u2013320, Proceedings of the 2nd ICLP, Uppsala, Sweden, 1984."},{"key":"35_CR3","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0743-1066(92)90050-D","volume":"14","author":"M.P. Bonacina","year":"1992","unstructured":"M.P. Bonacina and J. Hsiang, On rewrite programs: semantics and relationship with Prolog, Journal of Logic Programming, volume 14, pages 155\u2013180, 1992.","journal-title":"Journal of Logic Programming"},{"key":"35_CR4","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.L. Lassez, Constraint Logic Programming, Proceedings of Conference on Principles of Programming Languages, pages 111\u2013117, 1987.","DOI":"10.1145\/41625.41635"},{"key":"35_CR5","first-page":"9","volume":"4","author":"C. Kirchner","year":"1990","unstructured":"C. Kirchner and H. Kirchner and M. Rusinowitch, Deduction with symbolic constraints, Revue d'Intelligence Artificielle, volume 4, pages 9\u201352, 1990.","journal-title":"Revue d'Intelligence Artificielle"},{"key":"35_CR6","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd, Foundations of Logic Programming, Springer Verlag, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"35_CR7","unstructured":"M.J. Maher, A Logic Programming View of CLP, Proceedings of 10th ICLP, pages 737\u2013753, MIT Press, 1993."},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"P. Stuckey, Constructive Negation for Constraint Logic Programming, Proceedings of 6th Symposium on LICS'91, IEEE Computer Society Press, pages 359\u2013373, 1991.","DOI":"10.1109\/LICS.1991.151657"},{"key":"35_CR9","volume-title":"A Rewrite Approach for Constraint Logic Programming","author":"G. Richard","year":"1994","unstructured":"G. Richard and F. Saubion, A Rewrite Approach for Constraint Logic Programming, University of Orleans (France), 1994, number 94\u201316."},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"S. Anantharaman and G. Richard, A Rewrite Mechanism for Logic Programs with Negation, Proceedings of RTA'95, KaisersLautern (Germany), to appear.","DOI":"10.1007\/3-540-59200-8_55"},{"key":"35_CR11","unstructured":"P. Bruscoli and F. Levi and G. Levi and M.C. Meo, Intensional negation in constraint logic programs, pages 359\u2013373, Proceedings of GULP'93, 1993."}],"container-title":["Lecture Notes in Computer Science","LATIN '95: Theoretical Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59175-3_111.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:24:16Z","timestamp":1619573056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59175-3_111"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591757","9783540492207"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-59175-3_111","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}