A branching time logic with past operators
scientific article; zbMATH DE number 682618
scientific article