@techreport{weko_30610_1,
   author	 = "山崎,憲一 and 天海良治 and 竹内,郁雄 and 吉田,雅治",
   title	 = "ヒープを使用する論理型言語でのトレール方式",
   year 	 = "1993",
   institution	 = "NTT基礎研究所／NTTヒューマンインタフェース研究所, NTT基礎研究所／NTTヒューマンインタフェース研究所, NTT基礎研究所／NTTヒューマンインタフェース研究所, NTT基礎研究所／NTTヒューマンインタフェース研究所",
   number	 = "8(1992-PRO-067)",
   month	 = "jan"
}