Heng Chu graduated with a PhD in 1994. His
was on the use of semantics in clause-linking theorem provers.
The theorem prover that he wrote to demonstrate this is
CLIN User's Manual
- Heng Chu, Shie-Jiu Lee
Semantically Guided First-Order Theorem Proving with Hyper-Linking
- Heng Chu (doctoral dissertation)
If you have a link to this page...