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