Yoav Shoham Drew V. McDermott Problems in Formal Temporal Reasoning. 49-61 1988 36 Artif. Intell. 1 db/journals/ai/ai36.html#ShohamM88