| |
| 1998 | ||
|---|---|---|
| 4 | EE | Marcello D'Agostino, Marco Mondadori, Ulrich Endriss, Dov M. Gabbay, Jeremy Pitt: WinKE: A Pedagogical Tool for Teaching Logic and Reasoning. Intelligent Tutoring Systems 1998: 605 |
| 1995 | ||
| 3 | EE | Marco Mondadori: Efficient Inverse Tableaux. Logic Journal of the IGPL 3(6): 939-953 (1995) |
| 1994 | ||
| 2 | Marcello D'Agostino, Marco Mondadori: The Taming of the Cut. Classical Refutations with Analytic Cut. J. Log. Comput. 4(3): 285-319 (1994) | |
| 1992 | ||
| 1 | Marcello D'Agostino, Marco Mondadori: An Improvement of Analytic Tableaux. TABLEAUX 1992: 1-3 | |
| 1 | Marcello D'Agostino | [1] [2] [4] |
| 2 | Ulrich Endriss (Ulle Endriss) | [4] |
| 3 | Dov M. Gabbay | [4] |
| 4 | Jeremy V. Pitt (Jeremy Pitt) | [4] |