Voigt, Marco Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:1704.02145.pdf (Preprint), 474KB
Voigt, M. (2017). A Fine-Grained Hierarchy of Hard Problems in the Separated Fragment. Retrieved from http://arxiv.org/abs/1704.02145.