@Article{Tellez-Brotherston:19,
  author    = "Gadi Tellez Espinosa and James Brotherston",
  title     = "Automatically Verifying Temporal Properties of Programs with Cyclic Proof",
  journal   = "Journal of Automated Reasoning",
  publisher = "Elsevier",
  year      = 2019,
  note      = "To appear"
}