@InProceedings{Rowe-Brotherston:17,
  author    = "Reuben N. S. Rowe and James Brotherston",
  title     = "Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic",
  booktitle = "Proceedings of {CPP-6}",
  pages     = "53--65",
  publisher = "ACM",
  year      = 2016
}