Stable Classes and Operator Pairs for Disjunctive Programs

Jürgen Kalinski. Stable Classes and Operator Pairs for Disjunctive Programs. In V. Wiktor Marek, Anil Nerode, editors, Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR 95, Lexington, KY, USA, June 26-28, 1995, Proceedings. Volume 928 of Lecture Notes in Computer Science, pages 358-371, Springer, 1995.

Abstract

Abstract is missing.