Regular_Tree_Relations Dependents

Reducing Rewrite Properties to Properties on Ground Terms

by Alexander Lochmann

First-Order Theory of Rewriting

by Alexander Lochmann and Bertram Felgenhauer