On simultaneous rigid E-unification - Veanes, Margus (Uppsala theses in computing science, 1997)