| |
| 1997 | ||
|---|---|---|
| 3 | Geoffrey D. Alexander: CLIN-E - Smallest Instance First Hyper-Linking. J. Autom. Reasoning 18(2): 177-182 (1997) | |
| 1992 | ||
| 2 | Geoffrey D. Alexander, David A. Plaisted: Proving Equality Theorems with Hyper-Linking. CADE 1992: 706-710 | |
| 1 | David A. Plaisted, Geoffrey D. Alexander, Heng Chu, Shie-Jue Lee: Conditional Term Rewriting and First-Order Theorem Proving. CTRS 1992: 257-271 | |
| 1 | Heng Chu | [1] |
| 2 | Shie-Jue Lee | [1] |
| 3 | David A. Plaisted | [1] [2] |