B
[BFF+20] Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin et Olivier Serre. Alternating Tree Automata with Qualitative Semantics. Technical Report 2002-03664, arXiv, Février 2020. 
@techreport{arxiv2002.03664-BFFGMMPPRS,
  author =              {Berthon, Rapha{\"e}l and Fijalkow, Nathana{\"e}l and
                         Filiot, Emmanuel and Guha, Shibashis and Maubert,
                         Bastien and Murano, Aniello and Pinault, Laureline
                         and Pinchinat, Sophie and Rubin, Sasha and Serre,
                         Olivier},
  title =               {Alternating Tree Automata with Qualitative
                         Semantics},
  number =              {2002-03664},
  year =                {2020},
  month =               feb,
  institution =         {arXiv},
}
Liste des auteurs