A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions | Publicación