@Article{ DiekertMW2016alg, author = "Volker Diekert and Alexei G. Myasnikov and Armin Wei{\ss}", title = "Conjugacy in {B}aumslag's group, generic case complexity, and division in power circuits", journal = "Algorithmica", year = "2016", volume = "74", pages = "961-988", doi = "10.1007/s00453-016-0117-z" }