Proving weak properties of rewriting
scientific article; zbMATH DE number 5934197
scientific article