@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 09). },
publisher = {Elsevier},
series = {Electronic Notes in Theoretical Computer Science. To appear},
title = {A declarative debugger for Maude functional modules}
}