A method for specializing logic programs (1990)

by A Bossi, N Cocco, S Dulli
Venue:ACM Transactions on Programming Languages and Systems