Rani Siromoney Bireswar Das DNA algorithm for breaking a propositional logic based cryptosystem. 170-177 2003 79 Bulletin of the EATCS db/journals/eatcs/eatcs79.html#SiromoneyD03