Orbit decidability and the conjugacy problem for some extensions of groups - O. Bogopolski; A. Martino; E. Ventura (2007)