On the Generation of Test Data for Prolog by Partial Evaluation | Publicación