A Method for Specializing Logic Programs (1990)

by A Cocco Bossi, N, S Dulli
Venue:ACM TOPLAS