Yo-Sub Han, Hwee Kim, Makoto Ota, Shinnosuke Seki: Nondeterministic Seedless Oritatami Systems and Hardness of Testing Their Equivalence. DNA 2016: 19-34