@misc{indiciae37de60fe6395,
  title = {Soundness and Completeness of a Model-Checking Proof System for CTL},
  author = {Georg Friedrich Schuppe and Dilian Gurov},
  year = {2023},
  url = {https://arxiv.org/abs/2309.05389},
  note = {Source identifier: 2309.05389}
}