Propositional logic Reasoning algorithm based on DNA computing
ZHOU Tao
Computer Engineering and Applications . 2008, (24): 67 -70 .  DOI: 10.3778/j.issn.1002-8331.2008.24.019