W. O. Larcher
发表
J. K. Blackburn,
S. Klimenko,
V. Necula,
2020
.
J. K. Blackburn,
S. Klimenko,
V. Necula,
2014,
1410.6211.