Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics (1992)

by F Giunchiglia, L Sera, A Simpson
Venue:MetaProgramming in Logic, LNCS 649