C. Phillips
发表
K. Jeganathan,
M. A. Voronkov,
R. P. Norris,
2015
.
M. Kino,
K. Fujisawa,
A. Doi,
2017
.
K. Jeganathan,
M. A. Voronkov,
R. P. Norris,
2015,
1503.01265.
K. Jeganathan,
M. A. Voronkov,
R. P. Norris,
2015,
1506.04399.