Quasi-Truth Degree of First-Order Formula After Using Generalization Rule
QIN Xiaoyan
Computer Engineering and Applications . 2019, (6): 39 -41 .  DOI: 10.3778/j.issn.1002-8331.1804-0214