UNC-CH/ CS/ Mechanized Inference/ People

Shie-Jue Lee


Shie-Jue Lee graduated with a PhD in 1990. His dissertation was on the use of clause-linking in theorem proving. The theorem prover that he wrote to demonstrate this is called CLIN.

Technical reports:

TR90-032 Eliminating Duplication with the Hyper-Linking Strategy
Shie-Jue Lee and David A. Plaisted

TR90-029 CLIN: An Automated Reasoning System Using Clause Linking
Shie-Jue Lee (doctoral dissertation)

TR90-022 Inference by Clause Linking
David A. Plaisted and Shie-Jue Lee

TR92-009 CLIN User's Manual
Heng Chu, Shie-Jiu Lee

plaisted@cs.unc.edu, 31-Aug-95
If you have a link to this page...