@inproceedings{FSTV08,
 author = "S. Fischer and J. Silva and S. Tamarit and G. Vidal",
 title = "{Preserving Sharing in the Partial Evaluation of
           Lazy Functional Programs}",
 booktitle = "Logic-based Program Synthesis and Transformation (revised and
              selected papers from LOPSTR'07)",
 editor = "A. King",
 year = 2008,
 publisher = "Springer LNCS 4915",
 pages = "74-89",
}