@inproceedings{wadt08,
author = {A.~Riesco and A.~Verdejo and R.~Caballero and N.~Mart\'{\i}-Oliet},
title = {Declarative debugging of rewriting logic specifications.},
booktitle = {Recent Trends in Algebraic Development Techniques (WADT
2008). To appear},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg},
projects = {MERIT,PROMESAS,STAMP},
butype = {},
year = {2009}
}