Confluence of the lambda calculus with left-linear algebraic rewriting
scientific article; zbMATH DE number 92067