@techreport{weko_31520_1, author = "大谷木重夫", title = "Horn Sentenceの評価とその制御", year = "1980", institution = "電総研", number = "9(1980-PRO-012)", month = "jun" }