{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:58:32Z","timestamp":1725476312802},"publisher-location":"Berlin, Heidelberg","reference-count":12,"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_1","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T11:35:38Z","timestamp":1167478538000},"page":"1-20","source":"Crossref","is-referenced-by-count":0,"title":["Debugging of Constraint Programs: The DiSCiPl Methodology and Tools"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Deransart","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel V.","family":"Hermenegildo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Ma\u0142uszynski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Aggoun, A., Benhamou, F., Bueno, F., Carro, M., Deransart, P., Drabent, W., Ferrand, G., Goualard, F., Hermenegildo, M., Lai, C., Lloyd, J., Ma\u0142uszy\u0144ski, J., Puebla, G., Tessier, A.: CP Debugging Tools. Public Deliverable D.WP1.1.M1.1, ESPRIT IV Project DiSCiPl (1997), \n                    \n                      http:\/\/discipl.inria.fr\/deliverables1.html"},{"issue":"12","key":"1_CR2","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0895-7177(94)90127-9","volume":"20","author":"N. Beldiceanu","year":"1993","unstructured":"Beldiceanu, N., Contejean, E.: Introducing global constraints in chip. Journal of Mathematical and Computer Modelling\u00a020(12), 97\u2013123 (1993)","journal-title":"Journal of Mathematical and Computer Modelling"},{"key":"1_CR3","unstructured":"Byrd, L.: Understanding the control flow of prolog programs. In: T\u00e4rnlund, S.-A. (ed.) Proc. of the Workshop on Logic Programming, Debrecen (1980)"},{"key":"1_CR4","unstructured":"Cosytec SA. CHIP System Documentation (1998)"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Fourth ACM Symposium on Principles of Programming Languages, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"1_CR6","unstructured":"Diaz, D.: GNU-Prolog user Manual (2000), \n                    \n                      http:\/\/pauillac.inria.fr\/diaz\/gnu-prolog\/"},{"key":"1_CR7","unstructured":"European Computer Research Center. Eclipse User\u2019s Guide (1993)"},{"key":"1_CR8","unstructured":"Hermenegildo, M., Bueno, F., Cabeza, D., Garc\u00eda de la Banda, M., L\u00f3pez, P., Puebla, G.: The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In: Parallelism and Implementation of Logic and Constraint Logic Programming, Nova Science, Commack, NY, USA (April 1999)"},{"key":"1_CR9","unstructured":"Meier, M.: Grace User Manual (1996), Available at \n                    \n                      http:\/\/www.ecrc.de\/eclipse\/html\/grace\/grace.html"},{"key":"1_CR10","unstructured":"PrologIA. Prolog IV Manual (1996)"},{"key":"1_CR11","volume-title":"ICLP 1997","author":"C. Schulte","year":"1997","unstructured":"Schulte, C.: Oz Explorer: A Visual Constraint Programming Tool. In: Naish, L. (ed.) ICLP 1997. MIT Press, Cambridge (1997)"},{"key":"1_CR12","volume-title":"Algorithmic Program Debugging","author":"E.Y. Shapiro","year":"1982","unstructured":"Shapiro, E.Y.: Algorithmic Program Debugging. MIT Press, Cambridge (1982)"}],"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_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T14:46:00Z","timestamp":1553352360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722311_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411376","9783540400165"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/10722311_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}