A. Schinckel
发表
K. Jeganathan,
M. A. Voronkov,
R. P. Norris,
2015
.
K. Jeganathan,
M. A. Voronkov,
R. P. Norris,
2015,
1503.01265.