The following publications are possibly variants of this publication:
- Functional ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 61-118 [doi]
- Maude: specification and programming in rewriting logicManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada. TCS, 285(2):187-243, 2002. [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]
- Module OperationsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 185-230 [doi]
- System ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 131-157 [doi]
- Predefined Data ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 231-305 [doi]
- Object-Oriented ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 599-642 [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]
- Declarative Debugging of Missing Answers for MaudeAdrián Riesco, Alberto Verdejo, Narciso Martí-Oliet. RTA 2010: 277-294 [doi]
- A Declarative Debugging System for Lazy Functional Logic ProgramsRafael Caballero, Mario Rodríguez-Artalejo. ENTCS, 64:113-175, 2002. [doi]