@techreport{weko_51306_1, author = "佐藤,健", title = "極小翻意による非単調推論", year = "1988", institution = "(財)新世代コンピュータ技術開発機構", number = "44(1988-ICS-059)", month = "jul" }