Hans Läuchli
发表
Peter M. Neumann,
Hans Läuchli,
P. M. Neumann,
1988,
Arch. Math. Log..
Hans Läuchli,
Christian Savioz,
H. Läuchli,
1987,
The Journal of Symbolic Logic.