Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem
scientific article; zbMATH DE number 1635361
scientific article