@techreport{weko_50909_1, author = "有馬,淳", title = "論理プログラムの自動検索・統合・発見", year = "1995", institution = "(株)富士通研究所", number = "23(1994-ICS-099)", month = "mar" }