The following publications are possibly variants of this publication:
- Equational Unification by Variant Narrowing (Extended Abstract)Santiago Escobar 0001, José Meseguer 0001, Ralf Sasse. UNIF 2008: 35-39 [doi]
- Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott. RTA 2011: 31-40 [doi]
- Modular termination of basic narrowing and equational unificationMaría Alpuente, Santiago Escobar, José Iborra. igpl, 19(6):731-762, 2011. [doi]