A Unifying View of Functional and Logic Program Specialization (1998)

by M Alpuente, M Falaschi, G Vidal
Venue:ACM Computing Surveys