@techreport{weko_30794_1,
   author	 = "古森雄一 and 広川,佐千男",
   title	 = "BCK－論理式の証明の個数　（関数型プログラミング）",
   year 	 = "1991",
   institution	 = "静岡大学, 九州大学",
   number	 = "19(1990-PRO-028)",
   month	 = "mar"
}