A Formalization of the Semantics of Functional-Logic Programming in Isabelle | Publicación