The NU-Prolog Debugging Environment.

Lee Naish, Philip W. Dart, Justin Zobel

Browse the full ICLP paper archive.