Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Automated reasoning contributes to mathematics and logic | 18 | 3.53 | 1990 |
| Paths to high-performance automated theorem proving | 7 | 3.66 | 1986 |
| A technique for achieving portability among multiprocessors: Implementation on the Lemur. | 2 | 0.52 | 1985 |