@techreport{weko_25102_1, author = "内田俊一 and 樋口哲野", title = "論理言語PROLOGを用いたアーキテクチャの記述と論理シミュレーション", year = "1982", institution = "電子技術総合研究所, 慶応大学理工学部", number = "53(1981-ARC-044)", month = "feb" }