References

1. 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.
2. 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.
3. 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