Kenneth A. Ross On Negation in HiLog. 27-53 1994 18 J. Log. Program. 1 db/journals/jlp/jlp18.html#Ross94