Szczepan Hummel Henryk Michalewski Damian Niwinski On the Borel Inseparability of Game Tree Languages. 565-575 2009 STACS http://drops.dagstuhl.de/opus/volltexte/2009/1849 conf/stacs/2009 db/conf/stacs/stacs2009.html#HummelMN09