"Conjunctive Partial Deduction in Practice."

Jesper Jørgensen, Michael Leuschel, Bern Martens (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics