@techreport{weko_31142_1,
   author	 = "前田,隆",
   title	 = "様相論理系における自動演繹システムについて",
   year 	 = "1987",
   institution	 = "北海道大学工学部",
   number	 = "72(1987-PRO-022)",
   month	 = "oct"
}