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