J. Lion
发表
P. Speissegger,
J. Lion,
2011,
1107.0648.
P. Speissegger,
J. Lion,
2006,
math/0602196.
C. Tresser,
J. Gambaudo,
C. Bonatti,
1994
.
Jean-Marie Lion,
J. Lion,
2002,
Journal of Symbolic Logic.