Controlling generalisation and polyvariance in partial deduction of normal logic programs (1998)

by M Leuschel, B Martens, D De Schreye
Venue:ACM Transactions on Programming Languages and Systems