Termination modulo equations by abstract commutation with an application to iteration
scientific article; zbMATH DE number 1178548
scientific article