@INPROCEEDINGS{CGS08,
  author = {R.~Caballero and Y.~Garc\'{\i}a-Ruiz and F.~S\'{a}enz-P\'{e}rez},
  title = {A Theoretical Framework for the Declarative Debugging of Datalog
    Programs},
  booktitle = { International Workshop on Semantics in Data and Knowledge Bases
    SDKB 2008},
  year = {2008},
  volume = {4925},
  series = {Lecture Notes in Computer Science.},
  pages = {143-159},
  publisher = {Springer-Verlag},
  butype = {inproceedings},
  isbn = {978-3-540-88593-1}
}