Commutative Rational Term Rewriting. - Mamoru Ishizuka; Takahito Aoto 001; Munehiro Iwami (LATA, 2021)