The logical strength of Büchi's decidability theorem - Cécilia Pradic (Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2016)
http://drops.dagstuhl.de/opus/volltexte/2016/6576