@InProceedings{Tellez-Brotherston:17,
  author    = "Gadi Tellez Espinosa and James Brotherston",
  title     = "Automatically Verifying Temporal Properties of Programs with Cyclic Proof",
  booktitle = "Proceedings of {CADE}-26",
  series    = "LNAI",
  volume    = 10395,
  pages     = "491--508",
  publisher = "Springer",
  year      = 2017
}