rewriting logic as a metalogical framework (0)

by D Basin, M Clavel, J Meseguer
Venue:Twentieth Conference on the Foundations of Software Technology and Theoretical Computer Science