A word processing application for inexperienced users. - Geoffrey D. Alexander (SIGUCCS, 1981)

Proving Equality Theorems with Hyper-Linking. - Geoffrey D. Alexander; David A. Plaisted (CADE, 1992)

Conditional Term Rewriting and First-Order Theorem Proving. - David A. Plaisted; Geoffrey D. Alexander; Heng Chu; Shie-Jue Lee (CTRS, 1992)

Propositional search efficiency and first-order theorem proving. - David A. Plaisted; Geoffrey D. Alexander (Satisfiability Problem: Theory and Applications, 1996)

CLIN-E - Smallest Instance First Hyper-Linking. - Geoffrey D. Alexander (J. Autom. Reason., 1997)