Hierarchical Meta-Logics: some Proof Teoretical Results (1993)

by F Giunchiglia, L Serafini
Venue:Computer Software