@misc{indiciae31ace0504be8,
  title = {Overlap Algebras: a Constructive Look at Complete Boolean Algebras},
  author = {Francesco Ciraulo and Michele Contente},
  year = {2020},
  doi = {10.23638/lmcs-16(1:13)2020},
  url = {https://arxiv.org/abs/1904.13320},
  note = {Source identifier: 1904.13320}
}