@inproceedings{AAV01,
 author = "Elvira Albert and Sergio Antoy and Germ\'an Vidal",
 title = "Measuring the {E}ffectiveness of {P}artial {E}valuation
	  in {F}unctional {L}ogic {L}anguages",
 booktitle = "Proc.\ of 10th Int'l Workshop on Logic-based Program
	      Synthesis and Transformation (LOPSTR'2000)",
 publisher = "Springer LNCS 2042"
 pages = "103-124",
 year = 2001
}