{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171514},"publisher-location":"Berlin\/Heidelberg","reference-count":5,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540574174"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019408","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T01:18:27Z","timestamp":1132622307000},"page":"171-187","source":"Crossref","is-referenced-by-count":4,"title":["What's in a trace: The box model revisited"],"prefix":"10.1007","author":[{"given":"Gerhard","family":"Tobermann","sequence":"first","affiliation":[]},{"given":"Clemens","family":"Beckstein","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Byrd, L.: PROLOG Debugging Facilities. Technical Report D.A.I. Research Paper 19, Department of Artificial Intelligence, University of Edinburgh, July 1980."},{"key":"12_CR2","unstructured":"Byrd, L.: Understanding the Control flow of Prolog Programs. In: Proceedings of the Logic Programming Workshop, Debrecen, pages 127\u2013138, 1980."},{"key":"12_CR3","series-title":"Report 758","volume-title":"Ph.D. thesis","author":"M. Ducass\u00e9","year":"1992","unstructured":"Ducass\u00e9, M.: An Extendable Trace Analyser to Support Automated Debugging. Ph.D. thesis, University of Rennes, France, June 1992. Report 758."},{"key":"12_CR4","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/BF00116444","volume":"19","author":"K. H\u00f6\u00f6k","year":"1990","unstructured":"H\u00f6\u00f6k, K.; Taylor, J.; du Boulay, B.: Redo \u201cTry Once and Pass\u201d: the influence of complexity and graphical notation on novices' understanding of Prolog. Instructional Science, 19:337\u2013360, 1990.","journal-title":"Instructional Science"},{"key":"12_CR5","volume-title":"Foundations of Logic Programming","author":"J. Lloyd","year":"1967","unstructured":"Lloyd, J.: Foundations of Logic Programming. Springer-Verlag, Berlin, 2nd extended edition, 1967.","edition":"2nd extended ed"}],"container-title":["Lecture Notes in Computer Science","Automated and Algorithmic Debugging"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019408.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:42:34Z","timestamp":1607532154000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019408"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540574174"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/bfb0019408","relation":{},"subject":[]}}