An Improvement of Analytic Tableaux. - Marcello D'Agostino; Marco Mondadori (TABLEAUX, 1992)

The Taming of the Cut. Classical Refutations with Analytic Cut. - Marcello D'Agostino; Marco Mondadori (J. Log. Comput., 1994)

Efficient Inverse Tableaux. - Marco Mondadori (Log. J. IGPL, 1995)

WinKE: A Pedagogical Tool for Teaching Logic and Reasoning. - Marcello D'Agostino; Marco Mondadori; Ulrich Endriss; Dov M. Gabbay; Jeremy Pitt (Intelligent Tutoring Systems, 1998)