Volker Diekert, Alexei G. Myasnikov, Armin Weiß. Conjugacy in Baumslag's Group, Generic Case Complexity, and Division in Power Circuiats. In Alberto Pardo, Alfredo Viola, editors, LATIN 2014: Theoretical Informatics - 11th Latin American Symposium, Montevideo, Uruguay, March 31 - April 4, 2014. Proceedings. Volume 8392 of Lecture Notes in Computer Science, pages 1-12, Springer, 2014. [doi]