Conjunctive partial deduction: Foundations, control, algorithms, and experiments (1999)

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