Tabularity and post-completeness in tense logic
scientific article; zbMATH DE number 7861979