Handbook of temporal reasoning in artificial intelligence - Fisher, Michael 1962-; Gabbay, Dov M. 1945-; Vila, L. (Lluis) (Foundations of artificial intelligence ;, 2005)