@inproceedings{VoigtLCC2016,
TITLE = {The Complexity of Satisfiability in the Separated Fragment -- A Journey Through {ELEMENTARY} and Beyond},
AUTHOR = {Voigt, Marco},
LANGUAGE = {eng},
YEAR = {2016},
DATE = {2016},
BOOKTITLE = {Seventeenth International Workshop on Logic and Computational Complexity (LCC 2016)},
PAGES = {43--47},
ADDRESS = {Marseille, France},
}