Byron Cook
Andreas Podelski
Andrey Rybalchenko
2011
Proving Program Termination
Commun. ACM
54
5
88–98
http://doi.acm.org/10.1145/1941487.1941509
Matt Kaufmann
Panagiotis Manolios
J Strother Moore
Daron Vroon
2006
Integrating CCG analysis into ACL2
Workshop Proceedings: WST 2006, Eighth International Workshop on Termination
64–68
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.97.8994&rep=rep1&type=pdf
J Moore
Accessed: 2018
Terminatricks
https://github.com/acl2/acl2/tree/master/books/projects/codewalker/terminatricks.lisp