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