An Tableau Automated Theorem Proving Method Using Logical Reinforcement Learning. - Quan Liu 004; Yang Gao 001; Zhiming Cui; WangShu Yao; ZhongWen Chen (ISICA, 2007)