Elvira Albert Sergio Antoy Germán Vidal Measuring the Effectiveness of Partial Evaluation. 2000 conf/lopstr/2000ext LOPSTR ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-albert.ps.Z db/conf/lopstr/lopstr2000.html#AlbertAV00