1. Stefan Brass and Udo W. Lipeck. Generalized bottom-up query evaluation. In Alain Pirotte, Claude Delobel, and Georg Gottlob, editors, Advances in Database Technology — EDBT’92, 3rd Int. Conf., number 580 in LNCS, pages 88–103. Springer-Verlag, 1992.
2. Stefan Brass and Udo W. Lipeck. Bottom-up query evaluation with partially ordered defaults. In Proceedings of the 3rd International Conference on Deductive and Object-Oriented Databases (DOOD’93), number 760 in LNCS, pages 253–266. Springer, 1993.
3. Stefan Brass. Efficient query evaluation in disjunctive deductive databases. Research report, Institut für Informatik, Universität Hannover, 1993.
4. François Bry. Negation in logic programming: A formalization in constructive logic. In Dimitris Karagiannis, editor, Information Systems and Artificial Intelligence: Integration Aspects, pages 30–46. Springer, 1990.
5. Weidong Chen and David S. Warren. Computation of stable models and its integration with logical query processing. Technical report, Department of CS, SUNY at Stony Brook, 1993.