References
Byron Cook, Andreas Podelski & Andrey Rybalchenko (2011):
Proving Program Termination
. Commun. ACM 54(5), pp. 88–98. Available at
http://doi.acm.org/10.1145/1941487.1941509
.
Matt Kaufmann, Panagiotis Manolios, J Strother Moore & Daron Vroon (2006):
Integrating CCG analysis into ACL2
. In: Workshop Proceedings: WST 2006, Eighth International Workshop on Termination, pp. 64–68. Available at
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.
Comments and questions to:
eptcs@eptcs.org
For website issues:
webmaster@eptcs.org