Katsumi Inoue Chiaki Sakama Negation as Failure in the Head. 39-78 1998 35 J. Log. Program. 1 db/journals/jlp/jlp35.html#InoueS98