TY - RPRT TI - On the submonoid membership problem for HNN extensions of free groups AU - Jonathan Warne PY - 2025 UR - https://arxiv.org/abs/2502.04865 ID - 2502.04865 ER -