E. Suen
发表
David Biggs,
B. D. Ville,
E. Suen,
1991
.
Franz Oppacher,
E. Suen,
F. Oppacher,
1988,
Journal of Automated Reasoning.