1. N. Bidoit, R. Hull: Positivism vs. minimalism in deductive databases. In Proc. of the 5th ACM Symp. on Principles of Database Systems (PODS’86), 123–132, 1986.
2. S. Brass, U. W. Lipeck: Generalized bottom-up query evaluation. In A. Pirotte, C. Delobel, G. Gottlob (eds.), Advances in Database Technology — EDBT’92, 3rd Int. Conf., 88–103, LNCS 580, Springer-Verlag, 1992.
3. S. Brass, U. W. Lipeck: Bottom-up query evaluation with partially ordered defaults. In Proc. of the 3rd Int. Conf. on Deductive and Object-Oriented Databases (DOOD’93), 253–266, LNCS 760, Springer, 1993.
4. F. Bry: Query evaluation in recursive databases: bottom-up and top-down reconciled. Data Knowledge Engineering 5 (1990),289–312.
5. C.-L. Chang, R. C.-T. Lee: Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, 1973.