The following publications are possibly variants of this publication:
- A Declarative Debugger for MaudeAdrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero. amast 2008: 116-121 [doi]
- Debugging and TroubleshootingManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 697-736 [doi]
- A Declarative Debugger for Maude Functional ModulesRafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo. ENTCS, 238(3):63-81, 2009. [doi]
- A Complete Declarative Debugger for MaudeAdrián Riesco, Alberto Verdejo, Narciso Martí-Oliet. amast 2011: 216-225 [doi]
- Enhancing the Debugging of Maude SpecificationsAdrián Riesco, Alberto Verdejo, Narciso Martí-Oliet. WRLA 2010: 226-242 [doi]