Grätzer,, George A.: Congruences in slim, planar, semimodular lattices: the swing lemma. Acta scientiarum mathematicarum, (81) 3-4. pp. 381-397. (2015)