Compiling exploratory and goal-directed deduction into sloppy delta-iteration (Bibliothek d. Fak. für Mathematik u. Informatik, TUM, 1987)
Literaturverz. S. [7] - [9]