| |
| 1992 | ||
|---|---|---|
| 2 | Anita Jindal, Ross A. Overbeek, Waldo C. Kabat: Exploitation of Parallel Processing for Implementing High-Performance Deduction Systems. J. Autom. Reasoning 8(1): 23-38 (1992) | |
| 1990 | ||
| 1 | Ralph Butler, Ian T. Foster, Anita Jindal, Ross A. Overbeek: A High-Performance Parallel Theorem Prover. CADE 1990: 649-650 | |
| 1 | Ralph M. Butler (Ralph Butler) | [1] |
| 2 | Ian T. Foster | [1] |
| 3 | Waldo C. Kabat | [2] |
| 4 | Ross A. Overbeek | [1] [2] |