Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description).

Francisco Durn, Steven Eker, Santiago Escobar, Narciso Mart-Oliet, Jos Meseguer, Rubn Rubio, Carolyn L. Talcott

Browse the full CADE paper archive.