Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
scientific article; zbMATH DE number 1002519