A logic programming approach to the verification of functional-logic programs | Publicación