TY - RPRT TI - Using the Swing Lemma and $\mathcal{C}_1$-diagrams for congruences of planar semimodular lattices AU - George Grätzer PY - 2021 UR - https://arxiv.org/abs/2106.03241 ID - 2106.03241 ER -