@techreport{debuggingTR08b,
author = {R.~Caballero and N.~Mart\'{\i}-Oliet and A.~Riesco and A.~Verdejo},
Institution = {Dpto.\ Sistemas Inform\'aticos y Computaci\'on, Universidad Complutense de Madrid},
Number = {SIC-6/08},
Title = {Declarative debugging of {Maude} modules},
projects = {MERIT,PROMESAS},
butype = {},
year = {2008}
}