An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems.

Dohan Kim, Christopher Lynch

Browse the full FSCD paper archive.