@inproceedings{xi98rta,
author = "Xi, Hongwei",
title = {Towards Automated Termination Proofs through "Freezing"},
booktitle = "9th International Conference on Rewriting Techniques and Applications",
editors = "Tobias Nipkow",
series = "Lecture Notes in Computer Science",
volume = 1379,
year = 1998,
month = "March--April",
pages = "271--285",
place = "Tsukuba",
note = "Also available at \hfill\break{\tt http://www.cse.ogi.edu/\char126hongwei/academic/papers/rta98.ps}"
}