Dragana S. Cvetkovic-Ilic, Clemens Hofstadler, Jamal Hossein Poor, Jovana Milosevic, Clemens G. Raab, Georg Regensburger. Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig's triple reverse order law. Applied Mathematics and Computation, 409:126357, 2021. [doi]
Abstract is missing.