M.  Nanni, Raffaetà, A., Renso, C., and Turini, F., ?Deductive and Inductive Reasoning on Spatio-Temporal Data?, in INAP/WLP, 2004, pp. 98-115.