@misc{indiciae8ebb6fe299c9,
  title = {Reasoning about Intuitionistic Computation Tree Logic},
  author = {Davide Catta and Vadim Malvone and Aniello Murano},
  year = {2023},
  doi = {10.4204/eptcs.391.6},
  url = {https://arxiv.org/abs/2310.02355},
  note = {Source identifier: 2310.02355}
}