Axiomatizing Reflective Logics and Languages (1996)

by Manuel G. Clavel , José Meseguer
Venue:Proceedings of Reflection'96
Citations:35 - 20 self