Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| The Aurora or-parallel Prolog system | 177 | 9.23 | 1990 |
| Automated reasoning contributes to mathematics and logic | 18 | 3.53 | 1990 |
| Paths to high-performance automated theorem proving | 7 | 3.66 | 1986 |
| Problems and Experiments for and with Automated Theorem-Proving Programs | 79 | 22.56 | 1976 |