Christian Doczkal, Gert Smolka. Completeness and Decidability Results for CTL in Constructive Type Theory. Journal of Automated Reasoning, 56(3):343-365, 2016. [doi]
@article{DoczkalS16,
title = {Completeness and Decidability Results for CTL in Constructive Type Theory},
author = {Christian Doczkal and Gert Smolka},
year = {2016},
doi = {10.1007/s10817-016-9361-9},
url = {http://dx.doi.org/10.1007/s10817-016-9361-9},
researchr = {https://researchr.org/publication/DoczkalS16},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {56},
number = {3},
pages = {343-365},
}