Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach. - Marilisa E. Carboni; V. Foddai; Fosca Giannotti; Dino Pedreschi (GULP-PRODE, 1995)

Spatio-Temporal Reasoning with LDLT: First Steps Towards a Deductive System for Geographical Applications. - Marilisa E. Carboni; Annalisa Di Deo; Fosca Giannotti; Maria V. Masserotti (DDLP, 1996)

Ragionamento spazio-temporale con LDLT: primi esperimenti verso un sistema deduttivo per applicazioni geografiche. - Marilisa E. Carboni; Annalisa Di Deo; Fosca Giannotti; Maria V. Masserotti (SEBD, 1996)