- TR94-051
Semantically Guided First-Order Theorem Proving with Hyper-Linking
- Heng Chu (doctoral dissertation)
- TR92-009
CLIN User's Manual
- Heng Chu, Shie-Jiu Lee
- TR92-008
SPRFN User's Manual
- Xumin Nie
- TR91-027
Applications of Unskolemization
- Ritu Chadhu (doctoral dissertation)
- 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
-
- TR89-044
Automatic Theorem Proving In Problem Reduction Formats
- Xumin Nie (doctoral dissertation)
- TR89-015
Application of Explanation-Based Generalization in Theorem Proving
- Xumin Nie and David A. Plaisted
- TR89-004
Refinements to Depth-first Iterative Deepening Search
- Xumin Nie and David A. Plaisted
- TR89-001
A Semantic Variant of the Modified Problem Reduction Format
- Xumin Nie and David A. Plaisted
- TR87-028
Implementation Notes on SPRFN-- A Natural Deduction Theorem Prover
- Xumin Nie and David Plaisted
- TR87-027
Some Experimental Results on Dynamic Subgoal Reordering
- Xumin Nie and David Plaisted
plaisted@cs.unc.edu,
31-Aug-95
If you have a link to this page...