The following publications are possibly variants of this publication:
- Unification and Narrowing in Maude 2.4Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. RTA 2009: 380-390 [doi]
- Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott. cade 2022: 529-540 [doi]
- Variant Narrowing and Equational UnificationSantiago Escobar, José Meseguer, Ralf Sasse. ENTCS, 238(3):103-119, 2009. [doi]
- Built-in Variant Generation and Unification, and Their Applications in Maude 2.7Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. cade 2016: 183-192 [doi]
- Associative Unification and Symbolic Reasoning Modulo Associativity in MaudeFrancisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. WRLA 2018: 98-114 [doi]
- Using MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 31-37 [doi]
- Mobile MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo. maude 2007: 485-522 [doi]
- Playing with MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo. maude 2007: 159-184 [doi]
- Full Maude: Extending Core MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 559-597 [doi]