Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming.

Jürgen Dix Frieder Stolzenburg Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming. 202-224 1996 conf/nmelp/1996 NMELP db/conf/nmelp/nmelp96.html#DixS96