High speed subsumption processing for hypothetical reasoning using inference-path networks. - Haruhiko Kimura; Sadaki Hirose; Kuniyasu Tajima (Syst. Comput. Jpn., 1997)