1. C. Bell, A. Nerode, R. Ng, and V. S. Subrahmanian. Implementing stable semantics by linear programming. In L. M. Pereira and A. Nerode, editors, Logic Programming and Non-monotonic Reasoning, Proc. of the Second Int. Workshop (LPNMR'93), pages 23–42. MIT Press, 1993.
2. S. Brass. Bottom-up query evaluation in extended deductive databases. Habilitationsschrift, Universität Hannover, Fachbereich Mathematik, 1996. http://www.Informatik.uni-hannover.de/∼sb/habil.html.
3. S. Brass. SLDMagic — An improved magic set technique. In B. Novikov and J. W. Schmidt, editors, Advances in Databases and Information Systems — ADBIS'96, 1996.
4. S. Brass and J. Dix. Disjunctive semantics based upon partial and bottom-up evaluation. In L. Sterling, editor, Logic Programming, Proc. of the Twelfth Int. Conf. on Logic Programming (ICLP'95), pages 199–213. MIT Press, 1995.
5. S. Brass and J. Dix. A general approach to bottom-up computation of disjunctive semantics. In J. Dix, L. M. Pereira, and T. C. Przymusinski, editors, Non monotonic Extensions of Logic Programming, number 927 in LNAI, pages 127–155. Springer, 1995.