In-Hee Lee, Ji-Yoon Park, Young-Gyu Chai, Byoung-Tak Zhang. RCA-Based Detection Methods for Resolution Refutation. In Junghuei Chen, John H. Reif, editors, DNA Computing, 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers. Volume 2943 of Lecture Notes in Computer Science, pages 32-36, Springer, 2003. [doi]
Abstract is missing.