"Using Regular Approximations for Generalisation During Partial Evalution."

John P. Gallagher, Julio C. Peralta (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics