Markus Lohrey. Complexity of Word Problems for HNN-Extensions. In Evripidis Bampis, Aris Pagourtzis, editors, Fundamentals of Computation Theory - 23rd International Symposium, FCT 2021, Athens, Greece, September 12-15, 2021, Proceedings. Volume 12867 of Lecture Notes in Computer Science, pages 371-384, Springer, 2021. [doi]
Abstract is missing.