Hierarchical meta-logics: intuitions, proof theory and semantics (1992)

by F Giunchiglia, L Serafini, A Simpson
Venue:In Proc. of META-92, Workshop on Metaprogramming in Logic, number 649 in LNCS