arXiv 2000-03-17 EN A Polyvariant Binding-Time Analysis for Off-line Partial Deduction Bruynooghe, Maurice · Leuschel, Michael · Sagonas, Konstantinos