Alternating Automata. The Weak Monadic Theory of the Tree, and its Complexity

@inproceedings{Muller1986AlternatingAT,
  title={Alternating Automata. The Weak Monadic Theory of the Tree, and its Complexity},
  author={David E. Muller and Ahmed Saoudi and Paul E. Schupp},
  booktitle={ICALP},
  year={1986}
}