Mike Williamson Steve Hanks Exploiting Domain structure to Achieve Efficient Temporal Reasoning. 152-159 1993 IJCAI db/conf/ijcai/ijcai93.html#WilliamsonH93