H. Läuchli

On the elementary theory of linear order

H. Läuchli, J. Leonard, 1966 .

A Decision Procedure for the Weak Second Order Theory of Linear Order

H. Läuchli, 1968 .

An Abstract Notion of Realizability for Which Intuitionistic Predicate Calculus is Complete

H. Läuchli, 1970 .

A partition theorem

J. D. Halpern, H. Läuchli, H. Läuchli, 1966 .

Monadic second order definable relations on the binary tree

Hans Läuchli, Christian Savioz, H. Läuchli, 1987, The Journal of Symbolic Logic.

On linearly ordered sets and permutation groups of countable degree

Peter M. Neumann, Hans Läuchli, P. M. Neumann, 1988, Arch. Math. Log..