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.

Possibly Related Publications

The following publications are possibly variants of this publication: