S. Pearce
发表
K. Jeganathan,
M. A. Voronkov,
R. P. Norris,
2015
.
K. Jeganathan,
M. A. Voronkov,
R. P. Norris,
2015,
1503.01265.
K. Jeganathan,
M. A. Voronkov,
R. P. Norris,
2015,
1512.02702.
M. A. Voronkov,
R. P. Norris,
J. E. Reynolds,
2016,
1601.05857.
K. Jeganathan,
M. A. Voronkov,
R. P. Norris,
2015,
1506.04399.