Proof-theoretic results of common sense modal predicate calculi
scientific article; zbMATH DE number 7910365