Reasonable solutions for generalized MP problems in propositional logic
LI Jun 1,LI Cai-hong 1,ZHOU Yan 2
Computer Engineering and Applications . 2010, (1): 37 -38 .  DOI: 10.3778/j.issn.1002-8331.2010.01.012