On the decidability of iterated semidirect products and applications to complexity (0)

by J Almeida, B Steinberg
Venue:Proc. London Math. Soc. 80 (2000), 50–74. MR 2000j:20109