A Formalization of Abstract Rewriting in Agda. - Sam Arkle; Andrew Polonsky (CoRR, 2026)