Ivan Korec, Jirí Wiedermann: Deterministic Verification of Integer Matrix Multiplication in Quadratic Time. SOFSEM 2014: 375-382