@inproceedings{XiLICS01,
author = "Hongwei Xi",
title = {{Dependent Types for Program Termination Verification}},
booktitle = "Proceedings of 16th IEEE Symposium on Logic in Computer Science",
year = 2001,
month = "June",
pages = "231--242",
address = "Boston",
}