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)