M.  Nanni, Raffaetà, A., Renso, C., and Turini, F., ?Deductive and Inductive Reasoning on Trajectories?, in SEBD, 2004, pp. 98-105.