Gutiérrez Gil, Raúl; Lucas Alba, Salvador(Springer Nature, 2020-07-06)
[EN] We report on the new version of mu-term, a tool for proving termination properties of variants of rewrite systems, including conditional, context-sensitive, equational, and order-sorted rewrite systems. We follow a ...