@inproceedings{AHV01,
author = "E. Albert and M. Hanus and G. Vidal",
title = "A Practical Partial Evaluator for a Multi-Paradigm Declarative 
         Language",
year = "2001",
publisher = "Springer LNCS 2024",
booktitle = "Proc.\ of the 5th Int'l Symposium on
             Functional and Logic Programming (FLOPS 2001)"
pages = "326-342",
}