@techreport{weko_22738_1,
   author	 = "宇田川佳久 and 大須賀節雄",
   title	 = "ゴール・オリエンテッドなプログラミング言語としての一階述語論理について",
   year 	 = "1980",
   institution	 = "東大・宇宙研, 東大・宇宙研",
   number	 = "47(1979-SE-013)",
   month	 = "mar"
}