Some undecidability results for asynchronous transducers and the Brin-Thompson group 2V. - James Belk; Collin Bleak (CoRR, 2014)