Coloring terms to control equational reasoning
scientific article; zbMATH DE number 1062579