The following publications are possibly variants of this publication:
- 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 Complete Declarative Debugger for MaudeAdrián Riesco, Alberto Verdejo, Narciso Martí-Oliet. amast 2011: 216-225 [doi]
- A Declarative Debugger for MaudeAdrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero. amast 2008: 116-121 [doi]
- A Hierarchy of Data Types: From Trees to SetsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 119-129 [doi]
- A Declarative Debugger for Maude Functional ModulesRafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo. ENTCS, 238(3):63-81, 2009. [doi]
- Declarative Debugging of Missing Answers for MaudeAdrián Riesco, Alberto Verdejo, Narciso Martí-Oliet. RTA 2010: 277-294 [doi]
- Using MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 31-37 [doi]
- Mobile MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo. maude 2007: 485-522 [doi]
- Playing with MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo. maude 2007: 159-184 [doi]
- Full Maude: Extending Core MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 559-597 [doi]
- Using Big-Step and Small-Step Semantics in Maude to Perform Declarative DebuggingAdrián Riesco. FLOPS 2014: 52-68 [doi]
- Complete List of Maude CommandsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 737-749 [doi]
- Core Maude GrammarManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 751-756 [doi]