Voigt, M. (2017). Towards Elimination of Second-Order Quantifiers in the Separated Fragment. In P. Koopmann, S. Rudolph, R. A. Schmidt, & C. Wernhard (Eds.), Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (pp. 67-81). CEUR-WS.