@InProceedings{rta2003:maude,
    AUTHOR = {Manuel Clavel and Francisco Dur\'{a}n and Steven Eker and Patrick Lincoln and Narciso Mart\backslash'\backslashi-Oliet and Jos\'{e} Meseguer and Carolyn Talcott},
    TITLE = {The Maude 2.0 System},
    VOLUME = {2706},
    YEAR = {2003},
    PAGES = {76--87},
    MONTH = {June},
    ADDRESS = {Berlin},
    URL = {http://www.csl.sri.com/papers/1558/},
    SERIES = {Lecture Notes in Computer Science},
    BOOKTITLE = {Proceedings of the 14th International Conference on Rewriting Techniques and Applications (RTA 2003)},
    PUBLISHER = {Springer},
    EDITOR = {Robert Nieuwenhuis}
}