Improving Efficiency of a Theorem Prover by Eliminating Redundant Unifications Using Network Structures.

Shie-Jue Lee, Chih-Hung Wu

Browse the full ICCI paper archive.