@inproceedings{AAV00,
 author = "Elvira Albert and Sergio Antoy and Germ\'an Vidal",
 title = "Measuring the {E}ffectiveness of {P}artial {E}valuation",
 booktitle = "Proc.\ of 10th Int'l Workshop on Logic-based Program
	      Synthesis and Transformation, LOPSTR'2000",
 publisher = "Technical Report UMCS-00-6-1, University of Manchester",
 pages = "72-79",
 year = 2000
}