@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},
}