Constructor equivalent term rewriting systems are strongly sequential: A direct proof
scientific article; zbMATH DE number 691034