Mark van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen
The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology — System Demonstration
LDTA, 2002.
@article{LDTA-2002-BrandMR,
author = "Mark van den Brand and Pierre-Etienne Moreau and Christophe Ringeissen",
doi = "10.1016/S1571-0661(04)80426-2",
journal = "{Electronic Notes in Theoretical Computer Science}",
number = 3,
pages = "50--56",
title = "{The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology — System Demonstration}",
volume = 65,
year = 2002,
}