Abstract Rewriting

Christian Sternagel, René Thiemann. Abstract Rewriting. Archive of Formal Proofs, 2010, 2010. [doi]

Abstract

Abstract is missing.