The following publications are possibly variants of this publication:
- Proving operational termination of membership equational programsFrancisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain. lisp, 21(1-2):59-88, 2008. [doi]
- Proving termination of membership equational programsFrancisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain. PEPM 2004: 147-158 [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]