Commutative Rational Term Rewriting.

Mamoru Ishizuka, Takahito Aoto, Munehiro Iwami

Browse the full LATA paper archive.