Bachmair, Leo Programming Logics, MPI for Informatics, Max Planck Society;
Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
Bachmair, L., & Ganzinger, H. (1994). Rewrite Techniques for Transitive Relations. In Proceedings of the 9th IEEE Symposium on Logic in Computer Science (pp. 384-393). Los Alamitos, USA: IEEE.