On the Borel Complexity of MSO Definable Sets of Branches. - Mikolaj Bojanczyk; Damian Niwinski; Alexander Rabinovich; Adam Radziwonczyk-Syta; Michal Skrzypczak (Fundam. Informaticae, 2010)