C. Quadrelli, “Pro-$p$ groups with few relations and universal Koszulity”, Math. Scand., vol. 127, no. 1, pp. 28–42, Feb. 2021.