%0 Journal Article %1 journals/corr/0001VW15 %A Sturm, Thomas %A Voigt, Marco %A Weidenbach, Christoph %D 2015 %J CoRR %K %T Deciding First-Order Satisfiability when Universal and Existential Variables are Separated. %U http://dblp.uni-trier.de/db/journals/corr/corr1511.html#0001VW15 %V abs/1511.08999

@article{journals/corr/0001VW15, added-at = {2023-12-12T20:02:52.000+0100}, author = {Sturm, Thomas and Voigt, Marco and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2bd069f25608ee84d71aee71959846e7d/admin}, ee = {http://arxiv.org/abs/1511.08999}, interhash = {29c198f2eafd3a3cb1fc433cda2a7339}, intrahash = {bd069f25608ee84d71aee71959846e7d}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T20:02:52.000+0100}, title = {Deciding First-Order Satisfiability when Universal and Existential Variables are Separated.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1511.html#0001VW15}, volume = {abs/1511.08999}, year = 2015 }