Allender, E. Vaughan Jones, Kolmogorov Complexity, and the New Complexity Landscape Around Circuit Minimization. NZ J Math 2021, 52, 585-604.