Mark G. J. van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen. The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration. Electronic Notes in Theoretical Computer Science, 65(3):50-56, 2002. [doi]
Abstract is missing.