Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez. A Theoretical Framework for the Declarative Debugging of Datalog Programs. In Klaus-Dieter Schewe, Bernhard Thalheim, editors, Semantics in Data and Knowledge Bases, Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers. Volume 4925 of Lecture Notes in Computer Science, pages 143-159, Springer, 2008. [doi]
Abstract is missing.