@misc{indiciae06ff88c38db8,
  title = {A Grätzer-Schmidt theorem for the Lindenbaum-Tarski algebra of IPC},
  author = {P. L. Robinson},
  year = {2016},
  url = {https://arxiv.org/abs/1601.05727},
  note = {Source identifier: 1601.05727}
}