Quadrelli, C. “Pro-$p$ Groups With Few Relations and Universal Koszulity”.
MATHEMATICA SCANDINAVICA
, vol. 127, no. 1, Feb. 2021, pp. 28-42, doi:10.7146/math.scand.a-123644.