David Chan Constructive Negation Based on the Completed Database. 111-125 1988 ICLP/SLP db/conf/iclp/iclp88.html#Chan88