@techreport{weko_31140_1,
   author	 = "星田,昌紀 and 所,真理雄",
   title	 = "カットオペレータを排除し明示的に制御を行う論理型言語：ALEX",
   year 	 = "1987",
   institution	 = "慶応義塾大学理工学部電気工学科, 慶応義塾大学理工学部電気工学科",
   number	 = "72(1987-PRO-022)",
   month	 = "oct"
}