@techreport{weko_31706_1,
   author	 = "Masamichi,WATE",
   title	 = "On Decision Time of classical Logic",
   year 	 = "2006",
   institution	 = "Ryotokuji University",
   number	 = "122(2006-AL-109)",
   month	 = "nov"
}