Monadic Second Order Definable Relations on the Binary Tree. - Hans Läuchli; Christian Savioz (J. Symb. Log., 1987)