Relative Termination via Dependency Pairs
Crossref DOI link: https://doi.org/10.1007/s10817-016-9373-5
Published Online: 2016-04-30
Published Print: 2017-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Iborra, José
Nishida, Naoki
Vidal, Germán
Yamada, Akihisa http://orcid.org/0000-0001-8872-2240
Funding for this research was provided by:
Austrian Science Fund (Y757)
Ministerio de Economía y Competitividad (TIN2013-44742-C4-1-R)
Generalitat Valenciana (PROMETEOII2015/013)
License valid from 2016-04-30