Bamshad Mobasher Jacek Leszczylowski Don Pigozzi Negation as Partial Failure. 244-262 1993 LPNMR db/conf/lpnmr/lpnmr93.html#MobasherLP93