@techreport{weko_51043_1, author = "高野,啓 and 吉良,賢治 and 澤本,潤", title = "変数表現と否定条件のためのReteアルゴリズムの拡張", year = "1992", institution = "三菱電機(株)情報電子研究所, 三菱電機(株)情報電子研究所, 三菱電機(株)情報電子研究所", number = "70(1992-ICS-084)", month = "sep" }