{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:19Z","timestamp":1761611299110},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602996"},{"type":"electronic","value":"9783540447887"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60299-2_13","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:13:58Z","timestamp":1330262038000},"page":"204-221","source":"Crossref","is-referenced-by-count":17,"title":["Debugging constraint programs"],"prefix":"10.1007","author":[{"given":"Micha","family":"Meier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"13_CR1","unstructured":"Michael Dahmen. A Debugger for Constraints in Prolog. Technical Report ECRC-91-11, ECRC, 1991."},{"key":"13_CR2","unstructured":"M. Ducass\u00e9. Opium+, a meta-debugger for Prolog. In Proceedings of the European Conference on Artificial Intelligence, Munich, August 1988."},{"key":"13_CR3","unstructured":"ECLiPSe. URL http:\/\/www.ecrc.de\/eclipse\/eclipse.html, 1995."},{"key":"13_CR4","unstructured":"ECLiPSe 3.5 User Manual, 1995. URL http:\/\/www.ecrc.de\/eclipse\/html\/umsroot\/umsroot.html."},{"key":"13_CR5","unstructured":"ECLiPSe 3.5 Extensions User Manual, 1995. URL http:\/\/www.ecrc.de\/eclipse\/html\/extroot\/extroot.html."},{"key":"13_CR6","unstructured":"Micha Meier. ProTcl, the Prolog interface to the Tcl\/Tk toolkit. URL http:\/\/www.ecrc.de\/eclipse\/html\/protcl.html."},{"key":"13_CR7","volume-title":"Visualizing and solving finite algebra problems","author":"M. Meier","year":"1994","unstructured":"Micha Meier. Visualizing and solving finite algebra problems. In Workshop on Finite Algebras, ECRC, Munich, March 1994."},{"key":"13_CR8","unstructured":"Micha Meier, Abderrahmane Aggoun, David Chan, Pierre Dufresne, Reinhard Enders, Dominique Henry de Villeneuve, Alexander Herold, Philip Kay, Bruno Perez, Emmanuel van Rossum, and Joachim Schimpf. SEPIA \u2014 an extendible Prolog system. In Proceedings of the 11th World Computer Congress IFIP'89, pages 1127\u20131132, San Francisco, August 1989."},{"key":"13_CR9","unstructured":"Micha Meier and Joachim Schimpf. Control in ECLiPSe. Technical Report ECRC-95-07, ECRC, February 1995. URL http:\/\/www.ecrc.de\/eclipse\/html\/reports.html."},{"key":"13_CR10","unstructured":"John K. Ousterhout. Tcl and the Tk Toolkit. Addison-Wesley, 1994."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Michael Sanella. Analyzing and debugging hierarchies of multi-way local propagation constraints. In Proceedings of the 1994 Workshop on Principles and Practice of Constraint Programming, 1994.","DOI":"10.1007\/3-540-58601-6_90"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP '95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60299-2_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:36:50Z","timestamp":1619559410000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60299-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602996","9783540447887"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-60299-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}