Building equational proving tools by reflection in rewriting logic (0)

by M Clavel, F Durán, S Eker, J Meseguer
Venue:Tamai (Eds.), CAFE: An Industrial-Strength Algebraic Formal Method, Elsevier