%0 Journal Article %1 journals/corr/VoigtW15 %A Voigt, Marco %A Weidenbach, Christoph %D 2015 %J CoRR %K %T Bernays-Schönfinkel-Ramsey with Simple Bounds is NEXPTIME-complete. %U http://dblp.uni-trier.de/db/journals/corr/corr1501.html#VoigtW15 %V abs/1501.07209

@article{journals/corr/VoigtW15, added-at = {2023-12-12T21:28:06.000+0100}, author = {Voigt, Marco and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2ed27840759a2a4f4567147ef98e1f372/admin}, ee = {http://arxiv.org/abs/1501.07209}, interhash = {3ea15a780d5c0b44f0a0668862fdfe73}, intrahash = {ed27840759a2a4f4567147ef98e1f372}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T21:28:06.000+0100}, title = {Bernays-Schönfinkel-Ramsey with Simple Bounds is NEXPTIME-complete.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1501.html#VoigtW15}, volume = {abs/1501.07209}, year = 2015 }