Norman Feldman Axiomatization of Polynomial Substitution Algebras. 481-492 1982 47 J. Symb. Log. 3 db/journals/jsyml/jsyml47.html#Feldman82