Yoshihiko Ohta Katsumi Inoue A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-Interpretation. 522-529 1992 FGCS db/conf/fgcs/fgcs92.html#OhtaI92