Reducing Relative Termination to Dependency Pair Problems.

Jos Iborra, Naoki Nishida, Germn Vidal, Akihisa Yamada

Browse the full CADE paper archive.