Handbook Of Temporal Reasoning In Artificial Intelligence door Dov Gabbay, Michael Fisher & Lluis Vila