A proposal to reduce cumulative reasoning time in hypothetical reasoning. - Hideaki Nobata; Haruhiko Kimura; Sadaki Hirose (Syst. Comput. Jpn., 1999)