b'@inproceedings{SturmLICS2016,'b'\nTITLE = {Deciding First-Order Satisfiability when Universal and Existential Variables are Separated},\nAUTHOR = {Sturm, Thomas and Voigt, Marco and Weidenbach, Christoph},\nLANGUAGE = {eng},\nISBN = {78-1-4503-4391-6},\nDOI = {10.1145/2933575.2934532},\nPUBLISHER = {ACM},\nYEAR = {2016},\nDATE = {2016},\nBOOKTITLE = {Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016)},\nPAGES = {86--95},\nADDRESS = {New York, NY, USA},\n}\n'