@techreport{weko_51474_1, author = "西原典孝 and 森田憲一", title = "「T述語を用いたホーン節による領域限定推論」", year = "1985", institution = "阪大・基礎工, 阪大・基礎工", number = "36(1985-ICS-042)", month = "sep" }