An efficient reasoning method for syllogism and its application to knowledge processing. - Kenichi Morita; Noritaka Nishihara; Eriko Emura (Syst. Comput. Jpn., 1988)