A. J. O. Loo
发表
J. Lammers,
H. Petri,
M. Danhof,
1966,
Journal of Symbolic Logic.
B. Nahlen,
P. Kager,
D. Rosen,
2009
.