@misc{indiciae5b0e0f8eb067,
  title = {Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant},
  author = {Jan A. Bergstra and Alban Ponse and Daan J. C. Staudt},
  year = {2018},
  doi = {10.1080/11663081.2021.2010954},
  url = {https://arxiv.org/abs/1810.02142},
  note = {Source identifier: 1810.02142}
}