%0 Conference Paper %1 conf/lics/0001VW16 %A Sturm, Thomas %A Voigt, Marco %A Weidenbach, Christoph %B LICS %D 2016 %E Grohe, Martin %E Koskinen, Eric %E Shankar, Natarajan %I ACM %K %P 86-95 %T Deciding First-Order Satisfiability when Universal and Existential Variables are Separated. %U http://dblp.uni-trier.de/db/conf/lics/lics2016.html#0001VW16 %@ 978-1-4503-4391-6

@inproceedings{conf/lics/0001VW16, added-at = {2023-12-14T16:21:48.000+0100}, author = {Sturm, Thomas and Voigt, Marco and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2b3e2a7395a65e81fc20ea0cc7bbb98d4/admin}, booktitle = {LICS}, crossref = {conf/lics/2016}, editor = {Grohe, Martin and Koskinen, Eric and Shankar, Natarajan}, ee = {http://ieeexplore.ieee.org/document/8576425}, interhash = {f6e175230574c1ffb0d56a5885e998c2}, intrahash = {b3e2a7395a65e81fc20ea0cc7bbb98d4}, isbn = {978-1-4503-4391-6}, keywords = {}, pages = {86-95}, publisher = {ACM}, timestamp = {2023-12-14T16:21:48.000+0100}, title = {Deciding First-Order Satisfiability when Universal and Existential Variables are Separated.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2016.html#0001VW16}, year = 2016 }