The following publications are possibly variants of this publication:
- MTT: The Maude Termination Tool (System Description)Francisco Durán, Salvador Lucas, José Meseguer. cade 2008: 313-319 [doi]
- Some ToolsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo. maude 2007: 667-693 [doi]