Follow
Complexity of the Ackermann fragment with one leading existential quantifier. (arXiv:2111.05388v1 [cs.LO]) http://arxiv.org/abs/2111.05388
Complexity of the Ackermann fragment with one leading existential quantifier. (arXiv:2111.05388v1 [cs.LO]) http://arxiv.org/abs/2111.05388