@inproceedings{weko_121551_1, author = "橋本,雄治 and 鴨志田,稔 and 榎本,肇", title = "仕様記述の実行処理に必要とする推論機能", booktitle = "全国大会講演論文集", year = "1992", volume = "第44回", number = "ソフトウェア", pages = "73--74", month = "feb" }