Hioryuki Yamauchi
University of Tokyo, Tokyo, Japan
Symbolic Logic and Mechanical Theorem Proving
Logic and Data Bases