Solving hard qualitative temporal reasoning problems evaluating the efficiency of using the ORD-Horn class - Nebel, Bernhard (Univ. Ulm, Fak. für Informatik, 1996)