Manuel Clavel Francisco Durán Steven Eker Patrick Lincoln Narciso Martí-Oliet José Meseguer Carolyn L. Talcott The Maude 2.0 System. 76-87 2003 conf/rta/2003 RTA http://dx.doi.org/10.1007/3-540-44881-0_7 db/conf/rta/rta2003.html#ClavelDELMMT03