@inproceedings{RM+08,
author = {R.~Caballero and N.~Mart\'{\i}-Oliet and A.~Riesco and
A.~Verdejo},
booktitle = { 7th International Workshop on Rewriting Logic and its
Applications (WRLA 08). To appear},
publisher = {Elsevier},
series = {Electronic Notes in Theoretical Computer Science},
title = {A declarative debugger for Maude functional modules},
projects = {MERIT,PROMESAS},
butype = {workshop},
year = {2008}
}