Nation, J. B. Congruences of Finite Semidistributive Lattices. CUBO 2024, 26, 443–473.