Restudy on Randomization of Classical Logic System
MA Qiaoyun, WU Hongbo
Journal of Frontiers of Computer Science and Technology . 2017, (8): 1354 -1360 .  DOI: 10.3778/j.issn.1673-9418.1701001