@techreport{weko_28455_1, author = "林,一司 and 丸山,文宏 and 真野,民男 and 角田多苗子 and 川戸,信明 and 上原,貴夫", title = "論理型言語による論理設計支援システム", year = "1985", institution = "富士通株式会社, 富士通株式会社, 富士通株式会社, 富士通株式会社, 富士通株式会社, 富士通株式会社", number = "32(1985-SLDM-028)", month = "sep" }