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

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