1. Study on the formalization and verification of group theory;li;Southwest Jiaotong University,2017
2. Automated Reasoning with Power Maps
3. Automatic Reasoning Based on Resolution Method;liu,1994
4. Mathematical Logic and Set Theory;shi,2000
5. Basic Abrtract Algebra, The second edition;tang,2012