@techreport{weko_31101_1, author = "松本,一夫 and 硴崎賢一 and 上原,邦昭 and 豊田,順一", title = "PROLOGコンパイラにおける非決定性処理の最適化方式", year = "1988", institution = "大阪大学産業科学研究所, 大阪大学産業科学研究所, 大阪大学産業科学研究所, 大阪大学産業科学研究所", number = "23(1987-PRO-045)", month = "mar" }