@techreport{weko_67304_1,
   author	 = "Tomoyuki,Yamakami",
   title	 = "Verification Procedures of Assisted Proofs by One-Way Finite Automata",
   year 	 = "2010",
   institution	 = "Department of Information Science, University of Fukui",
   number	 = "5",
   month	 = "jan"
}