Constructive Failure in Functional-Logic Programming: From Theory to Implementation | Publicación