Experimental Results on Propositional Theorem Proving with Boolean Ring. National Taiwan University, Taipei, Taiwan.

• 布尔环下零阶逻辑定理证明的一些实验性结果。国立台湾大学资讯工程学研究所硕士论文，台北市。