Lohrey, 2021. Complexity of word problems for HNN-extensions.