@techreport{weko_31998_1,
   author	 = "永田,拓也",
   title	 = "充足可能性保存変換に基づいた命題論理証明システムの提案",
   year 	 = "2002",
   institution	 = "明治大学大学院理工学研究科",
   number	 = "7(2001-AL-082)",
   month	 = "jan"
}