M. E.  Carboni, Deo, A. D., Giannotti, F., and Masserotti, M. V., ?Ragionamento spazio-temporale con LDLT: primi esperimenti verso un sistema deduttivo per applicazioni geografiche?, in SEBD, 1996, pp. 73-90.

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.

M. E.  Carboni, Giannotti, F., Foddai, V., and Pedreschi, D., ?Declarative Reconstruction of Updates in Logic Databases: A Compilative Approach?, in SEBD, 1995, pp. 3-13.

M. E.  Carboni, Foddai, V., Giannotti, F., and Pedreschi, D., ?Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach?, in GULP-PRODE, 1995, pp. 169-182.