A proof theoretic approach to failure in functional logic programming | Publicación