J. A.
发表
Alexander,
N.,
Alonso,
2004,
Journal of Automated Reasoning.
M. Weekes,
J. A.,
Carr,
2006
.