Building Equational Proving Tools by Reflection in Rewriting Logic (1998)

by Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer
Venue:In Cafe: An Industrial-Strength Algebraic Formal Method