An Automatic Review System for Formal Deduction in Propositional Logic
WEI Wei, XIE Hui-zhen, ZHANG Li-chun
Computer and Modernization . 2014, (2): 6 -9+14 .  DOI: 10.3969/j.issn.1006-2475.2014.02.002