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]
- Language Definitions as Rewrite TheoriesArusoaie, Andrei, Lucanu, Dorel, Rusu, Vlad, Serbanuta, Traian Florin , Stefanescu, Andrei, Grigore Rosu. In International Workshop on Rewriting Logic and Application. 2014:
- Language Definitions as Rewrite TheoriesVlad Rusu, Lucanu, Dorel, Serbanuta, Traian Florin , Arusoaie, Andrei, Stefanescu, Andrei, Grigore Rosu. Preprint 2015.
- Language Definitions as Rewrite TheoriesVlad Rusu, Dorel Lucanu, Traian-Florin Serbanuta, Andrei Arusoaie, Andrei Stefanescu, Grigore Rosu. jlamp, 85(1 Part 1):98-120, January 2016.