"Equivalence of Well-Founded and Stable Semantics."

Françoise Gire (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics