| |
| 1991 | ||
|---|---|---|
| 3 | A. Michael Ballantyne: The Metatheorist: Automatic Proofs of Theorems in Analysis Using Non-Standard Techniques, Part II. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 61-76 | |
| 1984 | ||
| 2 | Dallas Lankford, Gregory Butler II, A. Michael Ballantyne: A Progress Report on New Decision Algorithms for Finitely Prsented Abelian Groups. CADE 1984: 128-141 | |
| 1977 | ||
| 1 | EE | A. Michael Ballantyne, W. W. Bledsoe: Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques. J. ACM 24(3): 353-374 (1977) |
| 1 | W. W. Bledsoe | [1] |
| 2 | Gregory Butler II | [2] |
| 3 | Dallas Lankford | [2] |