Improving the Efficiency of a Hyperlinking-Based Theorem Prover by Incremental Evaluation with Network Structures.

Sat, 01 Jan 1994 00:00:00 +0100

Shie-Jue Lee, Chih-Hung Wu:
Improving the Efficiency of a Hyperlinking-Based Theorem Prover by Incremental Evaluation with Network Structures. J. Autom. Reason. 12(3): 359-388 (1994)