@inproceedings{metric-aplas10,
  title = "Metric Spaces and Termination Analyses",
  author = "Aziem Chawdhary and Hongseok Yang",
  year = "2010",
  address = "Shanghai, China",
  booktitle = "Proceedings of the 8th Asian Symposium on Programming Languages and Systems",
  isbn = "978-3-642-17163-5",
  month = "November",
  pages = "156--171",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "6461",
}