@techreport{oai:ipsj.ixsq.nii.ac.jp:00032089,
 author = {岩間一雄},
 issue = {41(2000-AL-073)},
 month = {May},
 title = {CNF充足可能性問題の現実的解放},
 year = {2000}
}