R.: A declarative debugger for Maude (2008)

by A Riesco, A Verdejo, N Mart́ı-Oliet, Caballero
Venue:AMAST 2008. LNCS