@techreport{debuggingTR08,
Author = {Adri\'an Riesco and Alberto Verdejo and Rafael Caballero and  
Narciso Mart\'{\i}-Oliet},
Institution = {Dpto.\ Sistemas Inform\'aticos y Computaci\'on,  
Universidad Complutense de Madrid},
Number = {SIC-6/08},
Title = {Declarative debugging of {Maude} modules},
Year = {2008}}