@techreport{weko_28493_1,
   author	 = "藤田昌宏 and 西山智 and 田中英彦 and 元岡達",
   title	 = "時相論理とPrologを用いたゲート回路の効率的検証",
   year 	 = "1984",
   institution	 = "東京大学　工学部, 東京大学　工学部, 東京大学　工学部, 東京大学　工学部",
   number	 = "5(1984-SLDM-021)",
   month	 = "may"
}