Building equational proving tools by re in rewriting logic (2000)

by M Clavel, F Duran, S Eker, J Meseguer
Venue:In CAFE: An Industrial-Strength Algebraic Formal Method