The complexity of propositional linear temporal logics in simple cases
scientific article; zbMATH DE number 1853252
scientific article