@techreport{weko_31131_1,
   author	 = "米崎,直樹 and 端山,毅",
   title	 = "効率的時間論理証明システムの構成",
   year 	 = "1987",
   institution	 = "東京工業大学工学部情報工学科, 東京工業大学工学部情報工学科",
   number	 = "89(1987-PRO-023)",
   month	 = "dec"
}