Equational formulae with membership constraints (1994)

by H Comon, C Delor
Venue:Information and Computation