@article{AHV02,
 author = "Elvira Albert and Michael Hanus and Germ\'an Vidal",
 title = "A Residualizing Semantics for the Partial Evaluation of 
          Functional Logic Programs",
 journal = "Information Processing Letters",
 volume = 85,
 number = 1,
 pages = "19-25",
 year = 2003
}