@inproceedings{Voigt_SOQE2017,
TITLE = {Towards Elimination of Second-Order Quantifiers in the Separated Fragment},
AUTHOR = {Voigt, Marco},
LANGUAGE = {eng},
URL = {urn:nbn:de:0074-2013-7},
PUBLISHER = {CEUR-WS},
YEAR = {2018},
BOOKTITLE = {Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)},
EDITOR = {Koopmann, Patrick and Rudolph, Sebastian and Schmidt, Renate A. and Wernhard, Christoph},
PAGES = {67--81},
EID = {16},
SERIES = {CEUR Workshop Proceedings},
VOLUME = {2013},
ADDRESS = {Dresden, Germany},
}