A Dependency Pair Framework for Relative Termination of Term Rewriting.

Jan-Christoph Kassing, Grigory Vartanyan, Jrgen Giesl

Browse the full IJCAR paper archive.