@techreport{weko_51440_1, author = "森,辰則 and 中川,裕志", title = "論理型言語におけるCircumscription", year = "1986", institution = "横浜国立大学工学部電子情報工学科, 横浜国立大学工学部電子情報工学科", number = "24(1986-ICS-046)", month = "may" }