@techreport{weko_51107_1,
   author	 = "木村,成伴 and 富樫,敦 and 野口,正一",
   title	 = "様相論理式による基本プロセスの帰納推論アルゴリズム",
   year 	 = "1991",
   institution	 = "東北大学応用情報学研究センター, 東北大学電気通信研究所, 東北大学応用情報学研究センター",
   number	 = "75(1991-ICS-078)",
   month	 = "sep"
}