@misc{indiciaeddacc71bd0b2,
  title = {Short-circuit logic},
  author = {Jan A. Bergstra and A. Ponse and D. J. C. Staudt},
  year = {2013},
  url = {https://arxiv.org/abs/1010.3674},
  note = {Source identifier: 1010.3674}
}