John Christopher McCabe-Dansted, Mark Reynolds. Verification of Rewrite Rules for Computation Tree Logics. In Amedeo Cesta, Carlo Combi, François Laroussinie, editors, 21st International Symposium on Temporal Representation and Reasoning, TIME 2014, Verona, Italy, September 8-10, 2014. pages 142-151, IEEE, 2014. [doi]
@inproceedings{McCabe-DanstedR14,
title = {Verification of Rewrite Rules for Computation Tree Logics},
author = {John Christopher McCabe-Dansted and Mark Reynolds},
year = {2014},
doi = {10.1109/TIME.2014.25},
url = {http://dx.doi.org/10.1109/TIME.2014.25},
researchr = {https://researchr.org/publication/McCabe-DanstedR14},
cites = {0},
citedby = {0},
pages = {142-151},
booktitle = {21st International Symposium on Temporal Representation and Reasoning, TIME 2014, Verona, Italy, September 8-10, 2014},
editor = {Amedeo Cesta and Carlo Combi and François Laroussinie},
publisher = {IEEE},
isbn = {978-1-4799-4228-2},
}