Efficient solution techniques for disjunctive temporal reasoning problems
scientific article; zbMATH DE number 5003921