Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| System Description: IVY | 5 | 0.59 | 2000 |
| Well-Behaved Search and the Robbins Problem | 2 | 0.39 | 1997 |
| Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings | 44 | 10.01 | 1997 |
| Distributed Theorem Proving by Peers | 15 | 0.77 | 1994 |
| OTTER 2.0 | 31 | 4.17 | 1990 |
| ITP at Argonne National Laboratory | 5 | 1.02 | 1986 |
| Logic Machine Architecture: Kernel Funtions | 21 | 10.90 | 1982 |