@InProceedings{CDELOMQmaude2_2000,
  author = 	 {M. Clavel, F. Dur{\'a}n, S. Eker, P. Lincoln, 
                  N. Mart{\'\i}-Oliet, J. Meseguer, and J.F. Quesada},
  title = 	 {Towards {M}aude 2.0},
  booktitle = 	 {3rd International Workshop on Rewriting Logic and its 
                  Applications (WRLA'00)},
  year = 	 {2000},
  volume = 	 {36},
  series = 	 {Electronic Notes in Theoretical Computer Science},
  publisher =    {Elsevier},
}