Eric Bach Anne Condon Elton Glaser Celena Tanguay DNA Models and Algorithms for NP-Complete Problems. 172-186 1998 57 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss57.html#BachCGT98