Geoffrey D. Alexander

	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

Coauthor Index

1	Heng Chu	[1]
2	Shie-Jue Lee	[1]
3	David A. Plaisted	[1] [2]