1. C. E. Alchourrón, D. Makinson: Ilierarchies of regulations and their logic. In R. Hilpinen (ed.), New Studies in Deontic Logic, 125–148, D. Reidel Publishing Company, 1981.
2. A. B. Baker, M. L. Ginsberg: A theorem prover for prioritized circumscription. In Proc. 11th International Joint Conf. on Artificial Intelligence (IJCAI), 463–467, 1989.
3. S. Brass, U. W. Lipeck: Specifying closed world assumptions for logic databases. In J. Demetrovics, B. Thalheim (eds.), 2nd Symposium on Mathematical Fundamentals of Database Systems (MFDBS'89), 68–84, LNCS 364, Springer-Verlag, Berlin, 1989.
4. S. Brass, U. W. Lipeck: Semantics of inheritance in logical object specifications. In C. Delobel, M. Kifer, Y. Masunaga (eds.), Deductive and Object-Oriented Databases, 2nd Int. Conf. (DOOD'91), 411–430, LNCS 566, Springer-Verlag, Berlin, 1991.
5. S. Brass, U. W. Lipeck: Generalized bottom-up query evaluation. In Advances in Database Technology — EDBT'92, 3rd Int. Conf., 88–103, LNCS 580, Springer-Verlag, 1992.