{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T19:40:09Z","timestamp":1736710809152,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411376"},{"type":"electronic","value":"9783540400165"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722311_4","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T11:35:38Z","timestamp":1167478538000},"page":"109-120","source":"Crossref","is-referenced-by-count":3,"title":["Assertions with Constraints for CLP Debugging"],"prefix":"10.1007","author":[{"given":"Claude","family":"La\u00ef","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Ferrand, G., Tessier, A.: Positive and Negative Diagnosis for Constraint Logic Programs in terms of proof skeletons. In: AADEBUG 1997 (1997)"},{"key":"4_CR2","first-page":"747","volume-title":"Proc. Twelfth Int. Conf. on Logic Programming","author":"J. Boye","year":"1995","unstructured":"Boye, J., Ma\u0142uszyn\u0300ski, J.: Two aspects of Directional Types. In: Proc. Twelfth Int. Conf. on Logic Programming, pp. 747\u2013763. The MIT Press, Cambridge (1995)"},{"key":"4_CR3","first-page":"321","volume-title":"Proc. of JICSLP 1992","author":"F. Bronsart","year":"1992","unstructured":"Bronsart, F., Lakshman, T.K., Reddy, U.: A framework of directionality for proving termination of logic programs. In: Proc. of JICSLP 1992, pp. 321\u2013335. The MIT Press, Cambridge (1992)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Codognet, P., Fil\u00e9, G.: Computations, Abstractions and Constraints in Logic Programs. In: International Conference on Computer Language, Oakland (1992)","DOI":"10.1109\/ICCL.1992.185478"},{"key":"4_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3345.001.0001","volume-title":"A grammatical view of logic programming","author":"P. Deransart","year":"1993","unstructured":"Deransart, P., Ma\u0142uszyn\u0300ski, J.: A grammatical view of logic programming. The MIT Press, Cambridge (1993)"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0304-3975(88)90099-0","volume":"59","author":"W. Drabent","year":"1998","unstructured":"Drabent, W., Ma\u0142uszyn\u0300ski, J.: Induction assertion method for logic programs. Theorical Computer Science\u00a059, 133\u2013155 (1998)","journal-title":"Theorical Computer Science"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0743-1066(87)90001-X","volume":"4","author":"G. Ferrand","year":"1987","unstructured":"Ferrand, G.: Error Diagnosis in Logic Programming. Journal of Logic Programming\u00a04, 177\u2013198 (1987)","journal-title":"Journal of Logic Programming"},{"key":"4_CR8","unstructured":"Le Berre, F., Tessier, A.: Declarative Incorrectness Diagnosis of Constraint Logic Programs. Rapport de Recherche LIFO 95-08 Universit\u00e9 d\u2019Orl\u00e9ans (1995)"},{"key":"4_CR9","unstructured":"V\u00e9tillard, E.: Utilisation de d\u00e9clarations en Programmation Logique avec Contraintes, PhD thesis, U. of Aix-Marseilles II (1994)"}],"container-title":["Lecture Notes in Computer Science","Analysis and Visualization Tools for Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722311_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T19:07:46Z","timestamp":1736708866000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722311_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411376","9783540400165"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/10722311_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}