Constructive Negation Under the Well-Founded Semantics. - Julie Yu-Chih Liu; Leroy Adams; Weidong Chen 005 (J. Log. Program., 1999)