Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude
WRLA, 2018.
@inproceedings{WRLA-2018-DuranEEMMT,
author = "Francisco Durán and Steven Eker and Santiago Escobar and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott",
booktitle = "{WRLA@ETAPS}",
doi = "10.1007/978-3-319-99840-4_6",
isbn = "['978-3-319-99839-8', '978-3-319-99840-4']",
pages = "98--114",
publisher = "{Springer}",
title = "{Associative Unification and Symbolic Reasoning Modulo Associativity in Maude}",
year = 2018,
}
