Reflection in general logics and in rewriting logic, with applications to the Maude language (1998)

by M Clavel