Strict polynomial-time in simulation and extraction

From MaRDI portal
Publication:3579210