@misc{indiciae5ec0772f76ed,
  title = {Deciding First-Order Satisfiability when Universal and Existential Variables are Separated},
  author = {Thomas Sturm and Marco Voigt and Christoph Weidenbach},
  year = {2016},
  doi = {10.1145/2933575.2934532},
  url = {https://arxiv.org/abs/1511.08999},
  note = {Source identifier: 1511.08999}
}