Clavel and José Meseguer. Reflection in conditional rewriting logic (0)

by Manuel
Venue:Theoretical Computer Science