Hierarchical Reflection (2004)

by L Cruz-Filipe, F Wiedijk
Venue:In Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, LNCS