Rewriting logic as a metalogical framework (0)

by D Basin, M Clavel, J Meseguer
Venue:ACM Transactions on Computational Logic