@misc{indiciae384b7c2708bf,
  title = {A short proof of the congruence representation theorem for semimodular lattices},
  author = {G. Grätzer and E. T. Schmidt},
  year = {2013},
  url = {https://arxiv.org/abs/1303.4464},
  note = {Source identifier: 1303.4464}
}