Improving the efficiency of a hyperlinking-based theorem prover by incremental evaluation with network structures
scientific article; zbMATH DE number 704960