1. G. Amati, L. Carlucci Aiello, D. Gabbay, and E Pirri. A proof-theoretical approach to default reasoning I: tableaux for default logic. Journal of Logic and Computation, 6: 205–232, 1996.
2. Baumgartner et al.,1996) P. Baumgartner, U.furbach and I. Niemelâ. Hyper tableaux. In Logic in AI. Proc. Europ.workshop on Logics in Al,LNAI n. 1126, pp. 1–17. Springer-Verlag, 1996.
3. P. Besnard. An Introduction to default-logic. Springer-Verlag, 1989.
4. Bonatti, 1 996 P. A. Bonatti. Sequent calculus for default and autoepistemic logic. In TABLEAUX’96, LNAI n. 1071, pages 127–142. Springer-Verlag, 1996.
5. P. A. Bonatti and N. Olivetti. A sequent calculus for circumscription. In Preliminary Proceedings of CSL’97, pages 95–107, Aarhus, 1997. To appear in Proceedings of CSL `97, LNCS, Springer, 1998.