Correction of Functional Logic Programs | Publicación