Shie-Jue Lee graduated with a PhD in 1990. His
was on the use of clause-linking in theorem proving.
The theorem prover that he wrote to demonstrate this is
Eliminating Duplication with the Hyper-Linking Strategy
- Shie-Jue Lee and David A. Plaisted
CLIN: An Automated Reasoning System Using Clause Linking
- Shie-Jue Lee (doctoral dissertation)
Inference by Clause Linking
- David A. Plaisted and Shie-Jue Lee
CLIN User's Manual
- Heng Chu, Shie-Jiu Lee
If you have a link to this page...