Strength of the Rule of Inference. - Masamitu Otake; Taketoshi Mishima; Yoichi Manome (ISMVL, 1990)