A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation

Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski. A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation. In KR. pages 74-85, 1998.

Abstract

Abstract is missing.