Some results on the confluence property of combined term rewriting systems
scientific article; zbMATH DE number 683610