Brockschmidt, M; Cook, B; Fuhs, C; (2013) Better termination proving through cooperation. In: Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. (pp. 413 - 429). Springer Berlin Heidelberg Green open access