The Implementation of ProTest: a Prolog Debugger for a Refined Box Model

Adolf Schleiermacher, J├╝rgen F. H. Winkler. The Implementation of ProTest: a Prolog Debugger for a Refined Box Model. Software: Practice and Experience, 20(10):985-1006, 1990.

Abstract

Abstract is missing.