@inproceedings{e9ed303d1bfb48e9a01cf95063d8e1c0,
title = "The maude system",
author = "M. Clavel and F. Dur{\'a}n and S. Eker and P. Lincoln and N. Mart{\'i}-Oliet and J. Meseguer and Quesada, {J. F.}",
year = "1999",
doi = "10.1007/3-540-48685-2_18",
language = "English (US)",
isbn = "3540662014",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "240--243",
editor = "Paliath Narendran and Michael Rusinowitch",
booktitle = "Rewriting Techniques and Applications - 10th International Conference, RTA 1999, Proceedings",
address = "Germany",
note = "10th International Conference on Rewriting Techniques and Applications, RTA 1999 ; Conference date: 02-07-1999 Through 04-07-1999",
}