Parameterized modal satisfiability
scientific article; zbMATH DE number 6109461