A Prolog Debugger Based on a Refined Box Model. - Jürgen F. H. Winkler; Axel v. Reeken; Adolf Schleiermacher (LPE, 1990)

The Implementation of ProTest: a Prolog Debugger for a Refined Box Model. - Adolf Schleiermacher; Jürgen F. H. Winkler (Softw. Pract. Exp., 1990)