1 paper
Jan-Christoph Kassing, Grigory Vartanyan, Jürgen Giesl
Dependency pairs are one of the most powerful techniques for proving termination of term rewrite systems (TRSs), and they are used in almost all tools for termination analysis of T…