Full-Commutation and Fair-Termination in Equational (and Combined) Term-Rewriting Systems.

Sara Porat, Nissim Francez

Browse the full CADE paper archive.