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

On linearly ordered sets and permutation groups of countable degree. - Hans Läuchli; Peter M. Neumann (Arch. Math. Log., 1988)