ZhongWen Chen

An Tableau Automated Theorem Proving Method Using Logical Reinforcement Learning

Yang Gao, Zhiming Cui, Quan Liu, 2007, ISICA.