Proving Termination by Divergence

Alan J. Hu
Zvonimir Rakamaric
Byron Cook
SEFM (2007), pp. 93-102

Abstract