Reflection and strategies in rewriting logic (1996)

by M Clavel, J Meseguer
Venue:Electronic Notes in Theoretical Computer Science