@techreport{weko_32089_1, author = "岩間一雄", title = "CNF充足可能性問題の現実的解放", year = "2000", institution = "京都大学", number = "41(2000-AL-073)", month = "may" }