minimal complete sets of E-unifiers definition added
minimal complete sets of E-unifiers definition added