Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. - Durán, Francisco; Eker, Steven; Escobar, Santiago; Meseguer, José; Talcott, Carolyn L. (2011)