Alternating register automata on finite words and trees

@article{Figueira2012AlternatingRA,
  title={Alternating register automata on finite words and trees},
  author={Diego Figueira},
  journal={Logical Methods in Computer Science},
  year={2012},
  volume={8}
}