Abstract

We present an SMT encoding of a generalized version of the subterm
criterion and evaluate its implementation in TTT2.

BibTeX

@inproceedings{CS-WST16,
 author    = "Christian Sternagel",
 title     = "The Generalized Subterm Criterion in TTT2",
 booktitle = "Proceedings of the 15th International Workshop on
Termination",
 pages     = "11:1--11:5",
 year      = 2016
}