A Relative Dependency Pair Framework

Christian Sternagel and René Thiemann
Proceedings of the 13th International Workshop on Termination (WST 2012),   pp. 79 – 83, 2012.

abstract   BibTeX   PDF  
arXiv