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