Equational Formulae with Membership Constraints Hubert Comon Catherine Delor 167-216 Inf. Comput. August 1994 112 2 db/journals/iandc/iandc112.html#ComonD94 https://doi.org/10.1006/inco.1994.1056