Lexicographic Combination of Reduction Pairs.

Teppei Saito, Nao Hirokawa

Browse the full CADE paper archive.