A general criterion for avoiding infinite unfolding during partial deduction (1992)

by M Bruynooghe, D De Schreye, B Martens
Venue:New Generation Computing