{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:24:41Z","timestamp":1725495881362},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540652243"},{"type":"electronic","value":"9783540494812"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49481-2_43","type":"book-chapter","created":{"date-parts":[[2007,11,24]],"date-time":"2007-11-24T14:46:10Z","timestamp":1195915570000},"page":"472-472","source":"Crossref","is-referenced-by-count":6,"title":["A Framework for Assertion-based Debugging in Constraint Logic Programming"],"prefix":"10.1007","author":[{"given":"Germ\u00e0n","family":"Puebla","sequence":"first","affiliation":[]},{"given":"Francisco","family":"Bueno","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,6,11]]},"reference":[{"key":"43_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/3-540-61055-3_32","volume-title":"European Symposium on Programming","author":"F. Bueno","year":"1996","unstructured":"F. Bueno, D. Cabeza, M. Hermenegildo, and G. Puebla. Global Analysis of Standard Prolog Programs. In European Symposium on Programming, number 1058 in LNCS, pages 108\u2013124, Sweden, April 1996. Springer-Verlag."},{"unstructured":"F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J. Maluszynski,and G. Puebla. On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs. In Proc. of the 3rd. Int\u2019l Workshop on Automated Debugging-AADEBUG\u201997, pages 155\u2013170, Linkoping, Sweden, May 1997. U. of Linkoping Press.","key":"43_CR2"},{"unstructured":"G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Debugging of Constraint Logic Programs. In Proceedings of the ILPS\u201997 Workshop on Tools and Environments for (Constraint) Logic Programming, October 1997.","key":"43_CR3"},{"doi-asserted-by":"crossref","unstructured":"G. Puebla, F. Bueno, and M. Hermenegildo. A Framework for Assertion-based Debugging in Constraint Logic Programming. In Proceedings of the JICSLP\u201998 Workshop on Types for CLP, Manchester, UK, June 1998.","key":"43_CR4","DOI":"10.1007\/3-540-49481-2_43"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP98"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49481-2_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T17:03:07Z","timestamp":1551114187000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49481-2_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540652243","9783540494812"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-49481-2_43","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}