B. Humphreys
发表
Ross A. Clark,
Adam L. Bryant,
B. Humphreys,
2006
.
M. A. Voronkov,
T. J. Cornwell,
B. Humphreys,
2012,
Other Conferences.
B. Humphreys,
1989
.
K. Jeganathan,
M. A. Voronkov,
R. P. Norris,
2015
.
K. Jeganathan,
M. A. Voronkov,
R. P. Norris,
2015,
1503.01265.
B. Humphreys,
T. Cornwell,
T. Cornwell,
2011
.
K. Jeganathan,
M. A. Voronkov,
R. P. Norris,
2015,
1512.02702.
K. Jeganathan,
M. A. Voronkov,
R. P. Norris,
2015,
1506.04399.