@techreport{weko_30273_1, author = "五味,弘 and 大山口,通夫 and 太田,義勝", title = "ルートE重なりな深さ保存項書き換えシステムのチャーチ・ロッサー性について", year = "1997", institution = "三重大学工学部/沖テクノシステムズラボラトリ, 三重大学工学部, 三重大学工学部", number = "9(1996-PRO-011)", month = "jan" }