@inbook{d44844522a544493a413ed10eaca4b99,
title = "Reducing right-hand sides for termination",
abstract = "We propose two transformations on term rewrite systems (TRSs) based on reducing right-hand sides: one related to the transformation order and a variant of dummy elimination. Under mild conditions we prove that the transformed system is terminating if and only if the original one is terminating. Both transformations are very easy to implement, and make it much easier to prove termination of some TRSs automatically.",
author = "H. Zantema",
year = "2005",
doi = "10.1007/11601548_12",
language = "English",
isbn = "3-540-30911-X",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "173--197",
editor = "A. Middeldorp and {Oostrom, van}, V. and {Raamsdonk, van}, F. and {Vrijer, de}, R.C.",
booktitle = "Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday",
address = "Germany",
}