Geoffrey Alexander graduated with a PhD in 1995. His
was on the use of term-rewriting in a clause-linking theorem prover.
The theorem prover that he wrote to demonstrate this is
He is currently (January 1996) working at IBM, and can be reached there:
Department A41A / Building 500
4205 South Miami Boulevard
Research Triangle Park, NC 27709
Or he can be reached by e-mail at
If you have a link to this page...