A. M. Ballantyne
发表
A. M. Ballantyne,
D. Lankford,
1981
.
Dallas Lankford,
Gregory Butler,
A. Michael Ballantyne,
1984,
CADE.
Robert S. Boyer,
Larry M. Hines,
A. Michael Ballantyne,
1996,
AI Mag..
W. W. Bledsoe,
A. Michael Ballantyne,
W. Bledsoe,
1977,
JACM.
A. Michael Ballantyne,
A. M. Ballantyne,
1991,
Automated Reasoning: Essays in Honor of Woody Bledsoe.