An initial algebra approach to term rewriting systems with variable binders
scientific article; zbMATH DE number 5073695
scientific article