TY - RPRT TI - Representing finite distributive lattices as congruence lattices of lattices AU - George Grätzer PY - 2013 UR - https://arxiv.org/abs/1309.7511 ID - 1309.7511 ER -