@misc{indiciae10eb45e65b78,
  title = {Constructive version of Boolean algebra},
  author = {Francesco Ciraulo and Maria Emilia Maietti and Paola Toto},
  year = {2012},
  url = {https://arxiv.org/abs/1203.4997},
  note = {Source identifier: 1203.4997}
}