1. Amati, G., Aiello, L. C., Gabbay, D., and Pirri, F. (1996). A Proof Theoretical Approach to Default
2. Reasoning I: Tableaux for Default Logic. Journal of Logic and Computation,6(2):205–231.
3. Baaz, M., and Leitsch, A. (1994). On Skolemization and Proof Complexity. Fundamenta Informaticae, 20: 353–379.
4. Bibel, W., Hölldobler, S., and Schaub, T. (1993). Wissensrepräsentation und Inferenz. Vieweg, Braunschweig.
5. Bonatti, P. A. (1996). Sequent Calculi for Default and Autoepistemic Logics. In Miglioli, P., Moscato, U., Mundici, D., and Omaghi, M., editors, Proceedings TABLEAUX’96, Springer LNCS 1071, pages 127142, 1996.