TY - RPRT TI - Groups, Graphs, Languages, Automata, Games and Second-order Monadic Logic AU - Tullio Ceccherini-Silberstein AU - Michel Coornaert AU - Francesca Fiorenzi AU - Paul E. Schupp PY - 2012 DO - 10.1016/j.ejc.2012.03.010 UR - https://arxiv.org/abs/1201.3108 ID - 1201.3108 ER -