In-Hee Lee, Ji-Yoon Park, Hae-Man Jang, Young-Gyu Chai, Byoung-Tak Zhang. DNA Implementation of Theorem Proving with Resolution Refutation in Propositional Logic. In Masami Hagiya, Azuma Ohuchi, editors, DNA Computing, 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers. Volume 2568 of Lecture Notes in Computer Science, pages 156-167, Springer, 2002. [doi]
Abstract is missing.