@techreport{weko_32590_1,
   author	 = "大芝,猛",
   title	 = "自動証明において自然な三段論法を導入するアルゴリズム（LK の（LJ +排中律）変換アルゴリズムの1つとその応用",
   year 	 = "1991",
   institution	 = "名古屋工業大学",
   number	 = "69(1991-AL-022)",
   month	 = "jul"
}