Decidability of E*A-sentences in Membership Theories