Publications
] , “Ragionamento spazio-temporale con LDLT: primi esperimenti verso un sistema deduttivo per applicazioni geografiche”, in SEBD, 1996, pp. 73-90.
, “Spatio-Temporal Reasoning with LDLT: First Steps Towards a Deductive System for Geographical Applications”, in DDLP, 1996, pp. 135-151.