On the size of refutation Kripke models for some linear modal and tense logics
scientific article; zbMATH DE number 3730113