Differential Bottom-Up Computation of the Well-Founded Semantics

Ulrich Zukowski, Burkhard Freitag, Stefan Brass. Differential Bottom-Up Computation of the Well-Founded Semantics. In ICLP. pages 421, 1997.

Abstract

Abstract is missing.