1. Baader, F. and Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms, inProc. 3rd Int. Conf. on Knowledge Representation and Reasoning, Cambridge, MA, 1992.
2. Baader, F. and Hollunder, B.: How to prefer more specific defaults in terminological default logic, inProc. 13th Int. Joint Conf. on Artificial Intelligence, Chambery, France, 1993.
3. Besnard, P.:An Introduction to Default Logic, Symbolic Computation Series, Springer, 1989.
4. Brachman, R. J., McGuinness, D. L., Patel-Schneider, P. F., Resnick, L. A., and Borgida, A.: Living with CLASSIC: When and how to use a KL-ONE-like languages, in J. Sowa (ed.),Principles of Semantic Networks, Morgan Kaufmann, San Mateo, CA, 1991, pp. 401?456.
5. Brass, S.: Deduction with Supernormal Defaults, in G. Brewka, K. P. Jantke and P. H. Schmitt (eds),Nonmonotonic and Induction Logics, 2nd Int. Workshop, Springer LNCS 659, 1992.