David Janin Giacomo Lenzi On the Logical Definability of Topologically Closed Recognizable Languages of Infinite Trees. 2002 21 Computers and Artificial Intelligence 3 db/journals/cai/cai21.html#JaninL02