José Iborra, Naoki Nishida 0001, Germán Vidal, Akihisa Yamada 0002. Relative Termination via Dependency Pairs. Journal of Automated Reasoning, 58(3):391-411, 2017. [doi]
@article{Iborra0V017,
title = {Relative Termination via Dependency Pairs},
author = {José Iborra and Naoki Nishida 0001 and Germán Vidal and Akihisa Yamada 0002},
year = {2017},
doi = {10.1007/s10817-016-9373-5},
url = {http://dx.doi.org/10.1007/s10817-016-9373-5},
researchr = {https://researchr.org/publication/Iborra0V017},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {58},
number = {3},
pages = {391-411},
}