Grammar-related transformations of logic programs (1991)

by D R Brough, C J Hogger
Venue:New Generation Computing