Any ground associative-commutative theory has a finite canonical system
scientific article; zbMATH DE number 1019907