Generic complexity of the Conjugacy Problem in HNN-extensions and algorithmic stratification of Miller's groups - Alexandre V. Borovik; Alexei G. Myasnikov; Vladimir N. Remeslennikov (2009)