Retrospective Zooming: A Knowledge Based Tracking and Debugging Methodology for Logic Programming.

Marc Eisenstadt

Browse the full IJCAI paper archive.