TY  - RPRT
TI  - Deciding First-Order Satisfiability when Universal and Existential Variables are Separated
AU  - Thomas Sturm
AU  - Marco Voigt
AU  - Christoph Weidenbach
PY  - 2016
DO  - 10.1145/2933575.2934532
UR  - https://arxiv.org/abs/1511.08999
ID  - 1511.08999
ER  -