Katsumi Inoue Chiaki Sakama A Fixpoint Characterization of Abductive Logic Programs. 107-136 1996 27 J. Log. Program. 2 db/journals/jlp/jlp27.html#InoueS96