Temporal Reasoning and Constraint Programming Rosella Gennari Abstract: