Single step tableaux for modal logics. Computational properties, complexity and methodology
scientific article; zbMATH DE number 1448650