Rewrite Techniques for Transitive Relations

Leo Bachmair, Harald Ganzinger

Browse the full LICS paper archive.