Right-linear half-monadic term rewrite systems
scientific article; zbMATH DE number 2110995
scientific article