Efficient Top-Down Computation of Queries under the Well-Founded Semantics

Weidong Chen, Terrance Swift, David Scott Warren. Efficient Top-Down Computation of Queries under the Well-Founded Semantics. Journal of Logic and Algebraic Programming, 24(3):161-199, 1995.

Abstract

Abstract is missing.