Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer
Metalevel computation in Maude
WRLA, 1998.
@article{WRLA-1998-ClavelDELMM,
author = "Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer",
doi = "10.1016/S1571-0661(05)80020-9",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "331--352",
title = "{Metalevel computation in Maude}",
volume = 15,
year = 1998,
}