Journal: Fundamenta Informaticae

Volume 13, Issue 4

445 -- 463Teodor C. Przymusinski. The Well-Founded Semantics Coincides with the Three-Valued Stable Semantics