A decision procedure for the order of regular events
scientific article; zbMATH DE number 3653577