TY - RPRT TI - A solution to Dilworth's Congruence Lattice Problem AU - Friedrich Wehrung PY - 2007 DO - 10.1016/j.aim.2007.05.016 UR - https://arxiv.org/abs/math/0601059 ID - math/0601059 ER -