Declarative Reasoning about Moving Objects. - Fusun Yaman Sirin (2006)