Yuanxun Yu
发表
Robert S. Boyer,
Yuan Yu,
R. Boyer,
1992,
CADE.
Robert S. Boyer,
Yuan Yu,
R. Boyer,
1996,
JACM.
Yuan Yu,
Yuanxun Yu,
1990,
Journal of Automated Reasoning.
Robert S. Boyer,
Yuan Yu,
R. Boyer,
1992
.