@misc{indiciaef2dc8d0f75e2, title = {Lexicographic Combination of Reduction Pairs (Extended Version)}, author = {Teppei Saito and Nao Hirokawa}, year = {2026}, url = {https://arxiv.org/abs/2608.19683}, note = {Source identifier: 2608.19683} }