Decidability for branching time
scientific article; zbMATH DE number 3731998