The following publications are possibly variants of this publication:
- 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]
- The Undecidability of Simultaneous Rigid E-Unification with Two VariablesMargus Veanes. kgc 1997: 305-318
- The Undecidability of Simultaneous Rigid E-UnificationAnatoli Degtyarev, Andrei Voronkov. TCS, 166(1&2):291-300, 1996. [doi]
- Monadic Simultaneous Rigid E-unificationYuri Gurevich, Andrei Voronkov. TCS, 222(1-2):133-152, 1999. [doi]
- Monadic Simultaneous Rigid E-Unification and Related ProblemsYuri Gurevich, Andrei Voronkov. icalp 1997: 154-165
- The Relation Between Second-Order Unification and Simultaneous Rigid ::::E::::-UnificationMargus Veanes. lics 1998: 264-275
- Simultaneous Rigid E-unification and other Decision Problems Related to the Herbrand TheoremAndrei Voronkov. TCS, 224(1-2):319-352, 1999. [doi]
- Decidable Fragments of Simultaneous Rigid ReachabilityVĂ©ronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes. icalp 1999: 250-260 [doi]
- Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-UnificationAndrei Voronkov. cade 1996: 32-46
- Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-UnificationAndrei Voronkov. JAR, 30(2):121-151, 2003.
- Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid ::::E::::-UnificationAndrei Voronkov. JAR, 21(2):205-231, 1998.