@techreport{weko_51511_1,
   author	 = "米崎直樹 and 新淳 and 蓬莱尚幸",
   title	 = "時区間を基礎とする時間論理プログラミング",
   year 	 = "1985",
   institution	 = "東京工業大学工学部情報工学科, 東京工業大学工学部情報工学科, 東京工業大学工学部情報工学科",
   number	 = "74(1984-ICS-039)",
   month	 = "mar"
}