Guo-Qiang Zhang: Axiomatic Aspects of Default Inference. Paraconsistent Computational Logic 2002: 17-32