The following publications are possibly variants of this publication:
- The Undecidability of Simultaneous Rigid E-Unification with Two VariablesMargus Veanes. kgc 1997: 305-318
- The Decidability of Simultaneous Rigid ::::E::::-Unification with One VariableAnatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov. RTA 1998: 181-195 [doi]
- Decidability and complexity of simultaneous rigid E-unification with one variable and related resultsAnatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov. TCS, 243(1-2):167-184, 2000. [doi]