Arnaud Carayol Axel Haddad Olivier Serre Qualitative Tree Languages. 13-22 2011 LICS http://doi.ieeecomputersociety.org/10.1109/LICS.2011.28 conf/lics/2011 db/conf/lics/lics2011.html#CarayolHS11