@inproceedings{DurEscLucWRLA04,
    Author = "F.~Dur\'an and S.~Escobar and S.~Lucas",
    Title = "New evaluation commands for Maude within Full Maude",
    Booktitle = "5th International Workshop on Rewriting Logic and 
                 its Applications, WRLA'04",
    Address = "Barcelona, Spain",
    Editor = "N. Mart\'{\i}-Oliet",
    Publisher = "Universidad Polit\'ecnica de Catalunya",
    Year = 2004,
    Month = "March",
    Pages = {245-265},
}