Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs | Publicación