@misc{indiciae2fc05fb4a799,
  title = {Efficient CTL Verification via Horn Constraints Solving},
  author = {Tewodros A. Beyene and Corneliu Popeea and Andrey Rybalchenko},
  year = {2016},
  doi = {10.4204/eptcs.219.1},
  url = {https://arxiv.org/abs/1607.04456},
  note = {Source identifier: 1607.04456}
}