Czédli, Gábor, Grätzer, George, Lakser, Harry: Congruence structure of planar semimodular lattices: the General Swing Lemma. ALGEBRA UNIVERSALIS, 79. ISSN 0002-5240 (2018)