Katsumi Inoue Hypothetical Reasoning in Logic Programs. 191-227 1994 18 J. Log. Program. 3 db/journals/jlp/jlp18.html#Inoue94