@techreport{weko_31143_1,
   author	 = "沢村,一 and 南,俊朗",
   title	 = "汎用の論証支援システムの構想とその実現法",
   year 	 = "1987",
   institution	 = "富士通（株）国際情報社会科学研究所, 富士通（株）国際情報社会科学研究所",
   number	 = "72(1987-PRO-022)",
   month	 = "oct"
}