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

by M BRUYNOOGHE, D DE SCHREYE, B MARTENS
Venue:New Generation Computing