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

by F Guinchiglia, L Serafini, A Simpson
Venue:Proceedings of the 3rd International Workshop on Meta-Programming in Logic, volume 649 of Lecture Notes in Computer Science