TY  - RPRT
TI  - Reasoning about Intuitionistic Computation Tree Logic
AU  - Davide Catta
AU  - Vadim Malvone
AU  - Aniello Murano
PY  - 2023
DO  - 10.4204/eptcs.391.6
UR  - https://arxiv.org/abs/2310.02355
ID  - 2310.02355
ER  -