Giesl, J; Brockschmidt, M; Emmes, F; Frohn, F; Fuhs, C; Otto, C; Plücker, M; ... Thiemann, R; + view all (2014) Proving Termination of Programs Automatically with AProVE. In: Demri, S and Kapur, D and Weidenbach, C, (eds.) Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings. (pp. 184 - 191). Springer International Publishing Green open access