@INPROCEEDINGS{CADE09,
  AUTHOR = {Stephan Falke and Deepak Kapur},
  TITLE = {{A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs}},
  EDITOR = {Renate A. Schmidt},
  BOOKTITLE = {Proceedings of the 22nd International Conference on Automated
               Deduction (CADE~'09)\normalfont{, Montr\'eal, Canada}},
  SERIES = {Lecture Notes in Artificial Intelligence},
  VOLUME = 5663,
  PUBLISHER = {Springer-Verlag},
  PAGES = {277--293},
  YEAR = 2009
}