The Generalized Subterm Criterion in TTT2
arXiv:1609.03432
Abstract
We present an SMT encoding of a generalized version of the subterm criterion and evaluate its implementation in TTT2.
In Proceedings of 15th International Workshop on Termination (WST 2016)