Formalizing Simultaneous Critical Pairs for Confluence of Left-Linear Rewrite Systems. - Christina Kirk; Aart Middeldorp (CPP, 2025)

Proof Terms for Term Rewriting. - Christina Kirk (Arch. Formal Proofs, 2025)

First-Order Rewriting. - René Thiemann; Christian Sternagel; Christina Kirk; Martin Avanzini; Bertram Felgenhauer; Julian Nagele; Thomas Sternagel; Sarah Winkler; Akihisa Yamada 002 (Arch. Formal Proofs, 2025)