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

Fri, 01 Jan 1993 00:00:00 +0100

Shie-Jue Lee, Chih-Hung Wu:
Improving Efficiency of a Theorem Prover by Eliminating Redundant Unifications Using Network Structures. ICCI 1993: 299-304