Exponent equations in HNN-extensions - Michael Figelius; Markus Lohrey (2022)