Effective construction of covers of canonical Hom-diagrams for equations over torsion-free hyperbolic groups. - Olga Kharlampovich; Alexei G. Myasnikov; Alexander Taam (Groups Complex. Cryptol., 2019)