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://link.springer.de/link/service/series/0558/bibs/2706/27060076.htm db/conf/rta/rta2003.html#ClavelDELMMT03