Constraints in Term Algebras (Short Survey).

Hubert Comon Constraints in Term Algebras (Short Survey). 97-108 1993 conf/amast/1993 AMAST db/conf/amast/amast93.html#Comon93