Research directions in rewriting logic (1997)

by J Meseguer
Venue:In: Computational Logic. LNCS