A Polyvariant Binding-Time Analysis for Off-line Partial Deduction.

Maurice Bruynooghe Michael Leuschel Konstantinos F. Sagonas A Polyvariant Binding-Time Analysis for Off-line Partial Deduction. 27-41 http://dx.doi.org/10.1007/BFb0053561 1998 conf/esop/1998 ESOP db/conf/esop/esop98.html#BruynoogheLS98