TY  - RPRT
TI  - Proving Termination Starting from the End
AU  - Pierre Ganty
AU  - Samir Genaim
PY  - 2013
DO  - 10.1007/978-3-642-39799-8_27
UR  - https://arxiv.org/abs/1302.4539
ID  - 1302.4539
ER  -