Consistency as a branching time notion
scientific article; zbMATH DE number 7117287