"Differential Bottom-Up Computation of the Well-Founded Semantics."

Ulrich Zukowski, Burkhard Freitag, Stefan Brass (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics