@techreport{weko_31574_1,
   author	 = "Masakazu,NAKANISHI and Morio,NAGATA and Kenji,UEDA",
   title	 = "AN AUTOMATIC THEOREM PROVER GENERATING A PROOF IN NATURAL LANGUAGE",
   year 	 = "1977",
   institution	 = "Faculty of Engeneering  KEIO University, Faculty of Engeneering  KEIO University, Faculty of Engeneering  KEIO University",
   number	 = "27(1977-PRO-002)",
   month	 = "oct"
}