@techreport{weko_30892_1, author = "山田,順之介", title = "条件部に無限集合をもつメンバシップ条件付きTRSの合流性について", year = "1990", institution = "NTT基礎研究所", number = "44(1990-PRO-035)", month = "may" }