@inproceedings{Maude2:03,
  author =	 {Manuel Clavel and Francisco Dur\'{a}n and
		  Steven Eker and Patrick Lincoln and
                  Narciso Mart\'{\i}-Oliet and Jos\'{e} Meseguer and
                  Carolyn Talcott},
  title =	 {The Maude 2.0 System},
  booktitle =	 {Rewriting Techniques and Applications (RTA 2003)},
  series =	 {Lecture Notes in Computer Science},
  editor =	 {Robert Nieuwenhuis},
  number =	 {2706},
  pages =	 {76-87},
  year =	 {2003},
  month =	 {June},
  publisher =	 {Springer-Verlag}
}