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