TY - RPRT TI - Complexity of word problems for HNN-extensions AU - Markus Lohrey PY - 2021 UR - https://arxiv.org/abs/2107.01630 ID - 2107.01630 ER -