@misc{indiciaea1b536cb7462,
  title = {Satisfiability of Short Circuit Logic},
  author = {Sander in 't Veld},
  year = {2015},
  url = {https://arxiv.org/abs/1510.05162},
  note = {Source identifier: 1510.05162}
}