@misc{indiciae0972ab4ab736,
  title = {A solution to Dilworth's Congruence Lattice Problem},
  author = {Friedrich Wehrung},
  year = {2007},
  doi = {10.1016/j.aim.2007.05.016},
  url = {https://arxiv.org/abs/math/0601059},
  note = {Source identifier: math/0601059}
}