Henryk Michalewski, Matteo Mio: Baire Category Quantifier in Monadic Second Order Logic. ICALP (2) 2015: 362-374