Julie Yu-Chih Liu Leroy Adams Weidong Chen Constructive Negation Under the Well-Founded Semantics. 295-330 1999 38 J. Log. Program. 3 db/journals/jlp/jlp38.html#LiuAC99