## Thilo Hafer, Wolfgang Thomas

*Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree*

ICALP, 1987.

@inproceedings{ICALP-1987-HaferT, author = "Thilo Hafer and Wolfgang Thomas", booktitle = "{Proceedings of the 14th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-18088-5_22", isbn = "3-540-18088-5", pages = "269--279", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree}", volume = 267, year = 1987, }