The following publications are possibly variants of this publication:
- 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]
- Reflection in conditional rewriting logicManuel Clavel, José Meseguer. TCS, 285(2):245-288, 2002. [doi]
- Reflection in general logics, rewriting logic, and MaudeManuel Clavel. ENTCS, 15:71-82, 1998. [doi]
- Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting LogicManuel Clavel, José Meseguer, Miguel Palomino. ENTCS, 71:110-126, 2002. [doi]
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logicManuel Clavel, José Meseguer, Miguel Palomino. TCS, 373(1-2):70-91, 2007. [doi]
- Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting LogicChristiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses. amast 2000: 407-421 [doi]