Simultaneous Regid E-Unification Is Undecidable.

Anatoli Degtyarev, Andrei Voronkov

Browse the full CSL paper archive.