Marilisa E. Carboni Annalisa Di Deo Fosca Giannotti Maria V. Masserotti Spatio-Temporal Reasoning with LDLT: First Steps Towards a Deductive System for Geographical Applications. 135-151 1996 DDLP db/conf/deductive/deductive96.html#CarboniDGM96