Constrained Partial Deduction and the Preservation of Characteristic Trees (1997)

by Michael Leuschel, Danny De Schreye
Venue:NEW GENERATION COMPUTING