Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees.

Rafael Caballero, Adrin Riesco, Alberto Verdejo, Narciso Mart-Oliet

Browse the full LOPSTR paper archive.