1. F. Baader, B. Hollunder: How to prefer more specific defaults in terminological default logic. Research Report RR-92-58, DFKI, Kaiserslautern, 1992.
2. A. B. Baker, M. L. Ginsberg: A theorem prover for prioritized circumscription. In Proc. 11th Int. Joint Conf. on Artificial Intelligence (IJCAI), 463–467, 1989.
3. S. Brass: Deduction with supernormal defaults. In G. Brewka, K. P. Jantke, P. H. Schmitt (eds.), Nonmonotonic and Inductive Logics, 2nd International Workshop (NIL'91), 153–174, LNAI 659, Springer-Verlag, 1993.
4. S. Brass: Efficient query evaluation in disjunctive deductive databases. Internal Report 93Br02, Institut für Informatik, Universität Hannover, 1993.
5. S. Brass, U. W. Lipeck: Specifying closed world assumptions for logic databases. In J. Demetrovics, B. Thalheim (eds.), 2nd Symp. on Mathematical Fundamentals of Database Syst. (MFDBS'89), 68–84, LNCS 364, Springer-Verlag, 1989.