Metalevel Computation in Maude (1998)

by M Clavel, F Durán, S Eker, P Lincoln, N Mart́ı-Oliet, J Meseguer
Venue:In Proc. 2nd Intl. Workshop on Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science