Simultaneous E-Unification and Related Algorithmic Problems.

Anatoli Degtyarev, Yuri V. Matiyasevich, Andrei Voronkov

Browse the full LICS paper archive.