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

by D De Schreye, R Glück, J Jørgensen, M Leuschel, B Martens, M Sørensen
Venue:Journal of Logic Programming