@inproceedings{amast08,
author = {A.~Riesco and A.~Verdejo and N.~Mart\'{\i}-Oliet and
R.~Caballero},
title = {A Declarative Debugger for Maude},
booktitle = {AMAST 2008: Proceedings of the 12th international
conference on Algebraic Methodology and Software Technology},
series = {Lecture Notes in Computer Science},
volume = {5140},
pages = {116-121},
isbn = {978-3-540-79979-5},
location = {Urbana, IL, USA},
doi = {http://dx.doi.org/10.1007/978-3-540-79980-1_9},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg},
projects = {MERIT,PROMESAS},
butype = {},
year = {2008}
}