A Theoretical Framework for the Declarative Debugging of Datalog Programs | Publicación