Logical characterizations of algebraic circuit classes over integral domains
scientific article; zbMATH DE number 7927457