1. An Introduction to Default Logic
2. Besnard, P., Quiniou, R. and Quinton, P.A Theorem-Prover for a Decidable Subset of Default Logic.27–30. Proceedings of AAAI-83
3. Besnard, P. and Schaub, T. may 1992.Possible Worlds Semantics for Default Logics. Working Notes of fourth International Workshop on Nonmonotonic Reasoning, Hawk Inn, Plymouth, Vermont, U.S.A.may, 34–40.
4. Brewka, G. 1991.Cumulative Default Logic: in Defense of Nonmonotonic Inference Rule. Artificial Intelligence, 50183–205.