“Levin Conjecture for Group Equations of Length 9” (2020) European Journal of Pure and Applied Mathematics, 13(4), pp. 914–938. doi:10.29020/nybg.ejpam.v13i4.3786.