Handbook of Temporal Reasoning in Artificial Intelligence, Volume 1 by Dov Gabbay, Michael Fisher & Lluis Vila