TY  - RPRT
TI  - Soundness and Completeness of a Model-Checking Proof System for CTL
AU  - Georg Friedrich Schuppe
AU  - Dilian Gurov
PY  - 2023
UR  - https://arxiv.org/abs/2309.05389
ID  - 2309.05389
ER  -