Publications in 2022

First-Order Theory of Rewriting
Alexander Lochmann, Bertram Felgenhauer
Archive of Formal Proofs 2022.