Undecidability of Equations in Free Lie Algebras - Olga Kharlampovich; Alexei Myasnikov (2017)