@inproceedings{CGS08,
author = {R. Caballero and Y. Garc\'{\i}a-Ruiz and F. S\'aenz-P\'erez},
booktitle = { International Workshop on Semantics in Data and Knowledge Bases SDKB 2008},
publisher = {Springer},
volume = {4925},
pages = {143--159},
year = {2008},
series = {Lecture Notes in Computer Science.},
title = {A Theoretical Framework for the Declarative Debugging of Datalog Programs}
}