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