Helmut Alt Christian Knauer Günter Rote Sue Whitesides The complexity of (un)folding. 164-170 2003 conf/compgeom/2003 SCG https://doi.org/10.1145/777792.777818 db/conf/compgeom/compgeom2003.html#AltKRW03