E
[EJ99] E. Allen Emerson et Charanjit S. Jutla. The Complexity of Tree Automata and Logics of Programs. SIAM Journal on Computing 29(1):132-158. Society for Industrial and Applied Math., septembre 1999. 
@article{siamcomp29(1)-EJ,
  author =              {Emerson, E. Allen and Jutla, Charanjit S.},
  title =               {The Complexity of Tree Automata and Logics of
                         Programs},
  publisher =           {Society for Industrial and Applied Math.},
  journal =             {SIAM Journal on Computing},
  volume =              {29},
  number =              {1},
  pages =               {132-158},
  year =                {1999},
  month =               sep,
}
Liste des auteurs