3-Manifold Groups Are Virtually Residually p pocketEngelska, 2013