@article{weko_8082_1,
   author	 = "米澤,明憲",
   title	 = "述語論理における証明手続について : Theorem Prover TP-I",
   journal	 = "情報処理",
   year 	 = "1973",
   volume	 = "14",
   number	 = "2",
   month	 = "feb"
}