@misc {IOPORT.70858440,
    author       = {Liu, Quan and Gao, Yang and Cui, Zhiming and Yao, Wangshu and Chen, Zhongwen},
    title        = {An tableau automated theorem proving method using logical reinforcement learning},
    howpublished = {ISICA, 262-270 (2007).},
    year         = {2007},
    doi          = {10.1007/978-3-540-74581-5_28},
    identifier   = {70858440},
}