@misc{indiciae83efd11b704e,
  title = {Second-Order Propositional Satisfiability},
  author = {Cristina David and Daniel Kroening and Matt Lewis},
  year = {2015},
  url = {https://arxiv.org/abs/1409.4925},
  note = {Source identifier: 1409.4925}
}