Thilo Hafer, Wolfgang Thomas. Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree. In Thomas Ottmann, editor, Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings. Volume 267 of Lecture Notes in Computer Science, pages 269-279, Springer, 1987.
@inproceedings{HaferT87, title = {Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree}, author = {Thilo Hafer and Wolfgang Thomas}, year = {1987}, tags = {logic}, researchr = {https://researchr.org/publication/HaferT87}, cites = {0}, citedby = {0}, pages = {269-279}, booktitle = {Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings}, editor = {Thomas Ottmann}, volume = {267}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-18088-5}, }