Reasoning in a restricted temporal logic
linear time propositional temporal logic
scientific article; zbMATH DE number 165624