Equality in computer algebra and beyond.
scientific article; zbMATH DE number 1968941
scientific article