A Preliminary Study of Machine Theorem Proving Based on Graph Theories

• 定理机器证明的图论法初探