@InProceedings{Brotherston-Bornat-Calcagno:08,
  author    = "James Brotherston and Richard Bornat and Cristiano Calcagno",
  title     = "Cyclic Proofs of Program Termination in Separation Logic",
  booktitle = "Proceedings of {POPL}-35",
  pages     = "101--112",
  publisher = "ACM",
  year      = 2008
}