M. E.  Carboni, Deo, A. D., Giannotti, F., and Masserotti, M. V., ?Spatio-Temporal Reasoning with LDLT: First Steps Towards a Deductive System for Geographical Applications?, in DDLP, 1996, pp. 135-151.