@misc{indiciae35d7cfb29928,
  title = {CTL* Verification and Synthesis using Existential Horn Clauses},
  author = {Mishel Carelli and Orna Grumberg},
  year = {2024},
  doi = {10.1007/978-3-031-78750-8\_9},
  url = {https://arxiv.org/abs/2408.11502},
  note = {Source identifier: 2408.11502}
}