| |
| 1990 | ||
|---|---|---|
| 2 | EE | Ralph W. Wilkerson, Blayne E. Mayfield: The Role of Term Symmetry in E-Completion Procedures. ACM Conference on Computer Science 1990: 134-139 |
| 1 | EE | Blayne E. Mayfield, Timothy B. Baird: STP: A Simple Theorem Prover for IBM-PC Compatible Computers. SIGSMALL/PC Symposium 1990: 98-105 |
| 1 | Timothy B. Baird | [1] |
| 2 | Ralph W. Wilkerson | [2] |