1. Amati, G., Carlucci Aiello, L., Gabbay, D. and Pirri, F., 1995, A proof theoretical approach to default reasoning I. Tableaux for default logic. Under review for publication inJournal of Logic and Computation.
2. Besnard, P., Quiniou, R. and Quinton, P., 1983, ?A theorem-prover for a decidable subset of default logic?, inProceedings of the Fifth National Conference on Artificial Intelligence (AAAI-83), pp. 27?30.
3. Brewka, G., 1991, Cumulative default logic: in defence of nonmonotonic inference rules.Artificial Intelligence Journal,50:183?206.
4. Clarke, M.R.B. and Gabbay, D.M, 1988, ?An intuitionistic basis for nonmonotonic reasoning?, inNon-standard logics for automated reasoning, P. Smets, E.H. Mandami, D. Dubois, and H. Prade, eds. pp. 164?174. Academic Press.
5. Delgrande, J.P. and Jackson, W.K., 1991, Default logic revisited. InProceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning (KR-91), pp. 118?127.