TY  - RPRT
TI  - Hereditary First-Order Logic: the tractable quantifier prefix classes
AU  - Manuel Bodirsky
AU  - Santiago Guzmán-Pro
PY  - 2025
UR  - https://arxiv.org/abs/2411.10860
ID  - 2411.10860
ER  -