@inproceedings{sefm2007-bchr,
  author = {Domagoj Babi\'c and Byron Cook and Alan J. Hu and
    Zvonimir Rakamari\'c},
  title = {Proving Termination by Divergence},
  booktitle = {Proceedings of the 5th IEEE International Conference on
    Software Engineering and Formal Methods (SEFM 2007)},
  publisher = {IEEE Computer Society},
  year = {2007},
  pages = {93--102},
}