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