Voigt, Marco Automation of Logic, MPI for Informatics, Max Planck Society;
Voigt, M. (2017). A Fine-Grained Hierarchy of Hard Problems in the Separated Fragment. In 32nd Annual ACM-IEEE Symposium on Logic in Computer Science (pp. 1-12). New York, NY: ACM. doi:10.1109/LICS.2017.8005094.