TY  - RPRT
TI  - Decidability of equations and first-order theory in Seifert 3-manifold groups
AU  - Robert D. Gray
AU  - Alex Levine
PY  - 2025
UR  - https://arxiv.org/abs/2512.07690
ID  - 2512.07690
ER  -