@techreport{weko_31523_1,
   author	 = "沢村一 and 前田隆",
   title	 = "計算機向きの様相論理の証明手続き",
   year 	 = "1980",
   institution	 = "富士通国際情報研, 北海道大学工学部",
   number	 = "9(1980-PRO-012)",
   month	 = "jun"
}