1. G. Antoniou, Modules in computer science and artificial intelligence, Osnabrücker Schriften zur Mathematik I-26, Universität Osnabrück (1991).
2. A.B. Baker and M.L. Ginsberg, A theorem prover for prioritized circumscription, in:Proc. 11th Int. Joint Conf. on Artificial Intelligence (IJCAI), 1989, pp. 463?467.
3. F. Baader and B. Hollunder, How to prefer more specific defaults in terminological default logic, Research Report RR-92-58, DFKI, Kaiserslautern (1992).
4. S. Brass and U.W. Lipeck, Specifying closed world assumptions for logic databases, in: J. Demetrovics and B. Thalheim (eds.),2nd Symp. on Mathematical Fundamentals of Database Syst. (MFDBS' 89), LNCS 364 (Springer, 1989) pp. 68?84.
5. S. Brass and U.W. Lipeck, Semantics of inheritance in logical object specifications, in: C. Delobel, M. Kifer and Y. Masunaga (eds.),Deductive and Object-Oriented Databases, 2nd Int. Conf. (DOOD' 91), LNCS 566 (Springer, 1991) pp. 411?430.