Reflection and strategies in rewriting logic. This volume (0)

by Manuel Clavel, Jos'e Meseguer