Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments (1999)

by Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen
Venue:J. LOGIC PROGRAMMING