Quadrelli C. Pro-$p$ groups with few relations and universal Koszulity. Math. Scand. 2021;127(1):28-42. doi:10.7146/math.scand.a-123644