Title: On simultaneous rigid E-unification
Subjects: Automatic theorem proving