Automatic Equivalence Structures of Polynomial Growth.
scientific article; zbMATH DE number 7650834