David Soloveichik Erik Winfree Complexity of Compact Proofreading for Self-assembled Patterns. 305-324 2005 conf/dna/2005 DNA http://dx.doi.org/10.1007/11753681_24 db/conf/dna/dna2005.html#SoloveichikW05