On the Equivalence of the Static and Disjunctive Well-Founded Semantics and its Computation (2001)

AUTHORS:

Brass Stefan , Dix Jurgen , Niemelä Ilkka , Przymusinski T.C.

  • JOURNAL:
  • Theoretical Computer Science
  • VOLUME:
  • 258
  • PAGES:
  • 523-553