A forward-chaining multiple-context reasoner and its application to logic design. - Yoshihiko Ohta; Katsumi Inoue (TAI, 1990)

A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-Interpretation. - Yoshihiko Ohta; Katsumi Inoue (FGCS, 1992)

Bottom-up Abduction by Model Generation. - Katsumi Inoue; Yoshihiko Ohta; Ryuzo Hasegawa; Makoto Nakashima (IJCAI, 1993)

Incorporating Top-Down Information into Bottom-Up Hypothetical Reasoning. - Yoshihiko Ohta; Katsumi Inoue (New Gener. Comput., 1993)

Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving. - Ryuzo Hasegawa; Katsumi Inoue; Yoshihiko Ohta; Miyuki Koshimura (CADE, 1997)

On the Relationship Between Non-Horn Magic Sets and Relevancy Testing. - Yoshihiko Ohta; Katsumi Inoue; Ryuzo Hasegawa (CADE, 1998)