Cost-Augmented Partial Evaluation of Functional Logic Programs | Publicación