Abstract

In this paper we generalize the DP framework to a relative DP framework, where a so called split is possible.

BibTeX

@inproceedings{CSRT-WST12,
  author      = "Christian Sternagel and Ren{\'e} Thiemann ",
  title       = "A Relative Dependency Pair Framework",
  booktitle   = "Proceedings of the 13th International Workshop on
                 Termination",
  pages       = "79--83",
  year        = 2012
}