自动化定理证明程序的问题和实验| IEEE期刊和杂志| IEEE Xplore