Voigt, Marco Automation of Logic, MPI for Informatics, Max Planck Society;
1911.11500.pdf (Preprint), 573KB
Voigt, M. (2019). Separateness of Variables - A Novel Perspective on Decidable First-Order Fragments. Retrieved from http://arxiv.org/abs/1911.11500.