@techreport{weko_50961_1,
   author	 = "赤埴,淳一 and 井上,克巳 and 長谷川,隆三",
   title	 = "信念様相論理に対する様相節変換型証明器の実現",
   year 	 = "1994",
   institution	 = "NTTコミュニケーション科学研究所, 豊橋技術科学大学情報工学系, 新世代コンピュータ技術開発機構",
   number	 = "5(1993-ICS-092)",
   month	 = "jan"
}