A Proof Theoretic Approach to Failure in Functional Logic Programming | Publicación