Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
Towards Maude 2.0
WRLA, 2000.
@article{WRLA-2000-ClavelDELMMQ,
author = "Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Jose F. Quesada",
doi = "10.1016/S1571-0661(05)80137-9",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "294--315",
title = "{Towards Maude 2.0}",
volume = 36,
year = 2000,
}