@article{weko_16812_1, author = "小林,紀郎 and Mircea,Marin and 井田,哲雄", title = "等式解決のためのコーディネーションシステム", journal = "情報処理学会論文誌プログラミング(PRO)", year = "2002", volume = "43", number = "SIG03(PRO14)", pages = "87--87", month = "mar" }