@article{weko_11419_1, author = "白井,康之 and Reiner,H and 長谷川,隆三", title = "有限区間制約を付加したモデル生成型定理証明系とその応用", journal = "情報処理学会論文誌", year = "2002", volume = "43", number = "12", pages = "4059--4066", month = "dec" }