What You Always Wanted to Know About Rigid E-Unification.

Anatoli Degtyarev, Andrei Voronkov

Browse the full JELIA paper archive.