John Christopher McCabe-Dansted, Mark Reynolds. Rewrite rules for CTL. J. Applied Logic, 21:24-56, 2017. [doi]
@article{McCabe-DanstedR17, title = {Rewrite rules for CTL}, author = {John Christopher McCabe-Dansted and Mark Reynolds}, year = {2017}, doi = {10.1016/j.jal.2016.12.003}, url = {http://dx.doi.org/10.1016/j.jal.2016.12.003}, researchr = {https://researchr.org/publication/McCabe-DanstedR17}, cites = {0}, citedby = {0}, journal = {J. Applied Logic}, volume = {21}, pages = {24-56}, }