Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree. - Thilo Hafer; Wolfgang Thomas (ICALP, 1987)

Automaten und Logiken über unendlichen Bäumen. - Thilo Hafer (1989)