Bachmair, Leo Programming Logics, MPI for Informatics, Max Planck Society;
Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
Bachmair, L., & Ganzinger, H. (1998). Ordered Chaining Calculi for First-Order Theories of Transitive Relations. Journal of the ACM, 45(6), 1007-1049.