Thomas Colcombet, Denis Kuperberg, Christof Löding, Michael Vanden Boom. Deciding the weak definability of Büchi definable tree languages. In Simona Ronchi Della Rocca, editor, Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy. Volume 23 of LIPIcs, pages 215-230, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]
Abstract is missing.