1. K. R. Apt and Roland N. Bol. Logic Programming and Negation: A Survey. Journal of Logic Programming, 19–20:9–71, 1994.
2. Stefan Brass and Jürgen Dix. Computing Disjunctive Stable Semantics based on Clark's Completed Database. In Proc. of the 6th GI-Workshop “Grundlagen von Datenbanken”, Bad Helmstedt, September 1994, pages 30–34, 1994.
3. Stefan Brass and Jürgen Dix. A disjunctive semantics based on unfolding and bottom-up evaluation. In Bernd Wolfinger, editor, Innovationen bei Rechen-und Kommunikationssystemen, (IFIP '94-Congress, Workshop FG2: Disjunctive Logic Programming and Disjunctive Databases), pages 83–91, Berlin, 1994. Springer.
4. LNAI 927;S. Brass,1995
5. Stefan Brass and Jürgen Dix. Characterizations of the Stable Semantics by Partial Evaluation. In A. Nerode, W. Marek, and M. Truszczyński, editors, Logic Programming and Non-Monotonic Reasoning, Proceedings of the Third International Conference, LNCS 928, pages 85–98, Berlin, June 1995. Springer.