Proving Termination by Divergence.

Domagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byron Cook

Browse the full SEFM paper archive.