Equivalence of Two Formal Semantics for Functional Logic Programs | Publicación