The isomorphism problem for plain groups is in $\Sigma_3^{\mathsf{P}}$

From MaRDI portal
Publication:6379233