Decision problems for tag systems

From MaRDI portal
Publication:5663844