Comon and Catherine Delor. Equational formulae with membership constraints (1994)

by Hubert
Venue:Information and Computation