Ashwin Nayak Alistair Sinclair Uri Zwick Spatial Codes and the Hardness of String Folding Problems. 13-36 1999 6 Journal of Computational Biology 1 db/journals/jcb/jcb6.html#NayakSZ99