Domagoj Babic Alan J. Hu Zvonimir Rakamaric Byron Cook Proving Termination by Divergence. 93-102 2007 conf/sefm/2007 SEFM http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.32 db/conf/sefm/sefm2007.html#BabicHRC07