First-Order Theory of Rewriting

Alexander Lochmann, Bertram Felgenhauer
Archive of Formal Proofs 2022.

abstract   BibTeX   PDF  
AFP entry