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