A Dependency Pair Framework for Relative Termination of Term Rewriting. - Jan-Christoph Kassing; Grigory Vartanyan; Jürgen Giesl (IJCAR (2), 2024)