Interactive storytelling in pre-school: a case-study. - Nicoletta Di Blas; Bianca Boretti (IDC, 2009)

Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus. - Bianca Boretti; Sara Negri (TABLEAUX, 2009)