{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:46:46Z","timestamp":1748072806987,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"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_9","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T11:35:38Z","timestamp":1167478538000},"page":"209-236","source":"Crossref","is-referenced-by-count":1,"title":["Towards a Language for CLP Choice-Tree Visualisation"],"prefix":"10.1007","author":[{"given":"Christophe","family":"Aillaud","sequence":"first","affiliation":[]},{"given":"Pierre","family":"Deransart","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Cosytec. CHIP user Manual, beta release (September 1998)"},{"key":"9_CR2","unstructured":"Diaz, D.: GNU-Prolog user Manual, http:\/\/pauillac.inria.fr\/diaz\/gnuprolog\/"},{"key":"9_CR3","unstructured":"The DiSCiPl Consortium. Esprit LTR (Task 4.2) Project Nb 22532 Debugging Systems for Constraint Programming (October 1997-June 1999), http:\/\/discipl.inria.fr"},{"key":"9_CR4","unstructured":"Deransart, P. (ed.): The DiSCiPl Consortium, CP Debugging: Tools. D.WP1.1.M1.1-2 (July 1997), http:\/\/discipl.inria.fr\/deliverables1.html"},{"key":"9_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61411-8","volume-title":"Prolog: The Standard, Reference Manual","author":"P. Deransart","year":"1996","unstructured":"Deransart, P., Ed-Dbali, A., Cervoni, L.: Prolog: The Standard, Reference Manual. Springer, Heidelberg (1996)"},{"key":"9_CR6","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\u0142uszy\u0144ski, J.: A Grammatical View of Logic Programming. The MIT Press, Cambridge (1993)"},{"key":"9_CR7","unstructured":"Bueno, F., Deransart, P., Drabent, W., Ferrand, G., Hermenegildo, M., Ma\u0142uszy\u0144ski, J., Puebla, G.: On the role of semantic approximations in validation and diagnosis of constraint logic programs. In: Kamkar, M. (ed.) Proceedings of the AADEBUG\u201997 (The Third International Workshop on Automated Debugging), Link\u00f6ping University, pp. 155\u2013169 (1997)"},{"key":"9_CR8","unstructured":"Carlson, B., Carlsson, M., Diaz, D.: Entailment of Finite Domain Constraint, ftp:\/\/ftp.inria.fr\/INRIA\/Projects\/loco\/publications\/entail.ps"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Meier, M.: Debugging Constraint Programs. In: Proceedings of Principles and Practice of Constraint Programming (CP 1995), Cassis, pp. 204\u2013221 (1995)","DOI":"10.1007\/3-540-60299-2_13"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.J.: Constraint Logic Programming: A Survey. Journal of Logic Programming\u00a019\/20, 503\u2013581 (1994)","journal-title":"Journal of Logic Programming"},{"key":"9_CR11","unstructured":"PrologIA. Prolog IV Manual, Tutorial, Basic Concepts (1997)"},{"key":"9_CR12","unstructured":"Fages, F.: Programmation Logique par Contraintes. Ellipses, X-Ecole Polytechnique, France (1996)"},{"key":"9_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"key":"9_CR14","first-page":"286","volume-title":"Proceedings of the Fourteenth International Conference on Logic Programming (ICLP 1997)","author":"C. Schulte","year":"1997","unstructured":"Schulte, C.: Oz Explorer: A Visual Constraint Programming Tool. In: Proceedings of the Fourteenth International Conference on Logic Programming (ICLP 1997), Leuven, pp. 286\u2013300. The MIT Press, Cambridge (1997)"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/BFb0017464","volume-title":"Principles and Practice of Constraint Programming - CP97","author":"C. Schulte","year":"1997","unstructured":"Schulte, C.: Programming Constraint Inference Engine. In: Smolka, G. (ed.) CP 1997. LNCS, vol.\u00a01330, pp. 519\u2013534. Springer, Heidelberg (1997)"},{"key":"9_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with constraints, an introduction","author":"K. Marriott","year":"1998","unstructured":"Marriott, K., Stuckey, P.: Programming with constraints, an introduction. The MIT Press, Cambridge (1998)"}],"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_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T19:07:56Z","timestamp":1736708876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722311_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411376","9783540400165"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/10722311_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}