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.

Authors

Stefan Brass

This author has not been identified. Look up 'Stefan Brass' in Google

Jürgen Dix

This author has not been identified. Look up 'Jürgen Dix' in Google

Ilkka Niemelä

This author has not been identified. Look up 'Ilkka Niemelä' in Google

Teodor C. Przymusinski

This author has not been identified. Look up 'Teodor C. Przymusinski' in Google