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

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