A downward translation in the polynomial hierarchy

From MaRDI portal
Publication:5048934