@techreport{debuggingTR08a,
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-4/07},
Title = {Declarative debugging of Maude functional modules},
projects = {MERIT,PROMESAS},
butype = {},
year = {2007}
}