Cost-Augmented Partial Evaluation of Functional Logic Programs - Vidal, Germán (Higher-order and symbolic computation, 2004)