Mihai-Lica Pura, Iulian Aciobanitei, Stefan Adrian Toma, Didier Buchs. CTL formula evaluation by term rewriting inversion. In 9th International Conference on Electronics, Computers and Artificial Intelligence, ECAI 2017, Targoviste, Romania, June 29 - July 1, 2017. pages 1-10, IEEE, 2017. [doi]
Abstract is missing.