@article{Vid04,
 author = "G. Vidal", 
 title = "{Cost-Augmented Partial Evaluation of Functional Logic Programs}",
 journal = "Higher-Order and Symbolic Computation",
 volume = "17",
 number = "1-2",
 pages = "7-46",
 year = "2004"
}