TY - RPRT TI - Model Theory and Algorithms for One-Relator Groups AU - Olga Kharlampovich AU - Alexei Miasnikov PY - 2026 UR - https://arxiv.org/abs/2610.25305 ID - 2610.25305 ER -