McCarthy, J. (1980). Circumscription a form of non-monotonic reasoning.  Artificial Intelligence, 13 (1-2), 27 39.

Moore, R. C. (1985). Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25 (1), 75 94.

Niemela, I., & Simons, P. (1996). Efficient implementation of the well-founded and stable model semantics. In Maher, M. (Ed.), Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, pp. 289  303 Bonn, Germany. The MIT Press.

Reiter, R. (1980). A logic for default reasoning. Artificial Intelligence, 13 (1-2), 81 132. Rintanen, J. (1994). Prioritized autoepistemic logic. In MacNish, C., Pearce, D., & Moniz Pereira, L. (Eds.), Logic in Artificial Intelligence: Proceedings of the 4th European Workshop JELIA'94, No. 838 in Lecture Notes in Artificial Intelligence, pp. 232 246 York, England. Springer-Verlag.

Rintanen, J. (1999). Lexicographic priorities in default logic. Artificial Intelligence, 106 (2),
21 265.

Ryan, M. (1992). Representing defaults as sentences with reduced priority. In Nebel, B.,
Rich, C., & Swartout, W. (Eds.), Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, pp. 649 660 Cambridge, Massachusetts. Morgan Kaufmann Publishers.

Stillman, J. (1990). It is not my default: the complexity of reasoning in default logic.

In Proceedings of the 8th National Conference on Artificial Intelligence, pp. 571 578 Boston, Massachusetts. Morgan Kaufmann Publishers.

Tan, Y. H., & Treur, J. (1992).  Constructive default logic and the control of defeasible reasoning. In Neumann, B. (Ed.), Proceedings of the 10th European Conference on Artificial Intelligence, pp. 299 303 Vienna. John Wiley & Sons.