Twisted Homoclinic Orbits in Lorenz and Chen Systems: Rigorous Proofs Using Universal Normal Form. - Vladimir N. Belykh; Nikita V. Barabash; Anastasia E. Suroegina (Int. J. Bifurc. Chaos, 2026)