Built-in Variant Generation and Unification, and Their Applications in Maude 2.7.

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

Browse the full CADE paper archive.