Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration.

Helmut Schmidt Werner Kießling Ulrich Güntzer Rudolf Bayer Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration. 234-243 1987 SLP db/conf/slp/slp87.html#SchmidtKGB87