Bogopolski, Martino, Ventura, 2009. Orbit decidability and the conjugacy problem for some extensions of groups 362.. https://doi.org/10.1090/s0002-9947-09-04817-x