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

by M Clavel, F Durán, S Eker, J Meseguer
Venue:In Proc. of the CafeOBJ Symposium