On the computational completeness of graph-controlled insertion-deletion systems with binary sizes

From MaRDI portal