Anatoli Degtyarev, Andrei Voronkov. What You Always Wanted to Know About Rigid E-Unification. In José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, editors, Logics in Artificial Intelligence, European Workshop, JELIA 96, Évora, Portugal, September 30 - October 3, 1996, Proceedings. Volume 1126 of Lecture Notes in Computer Science, pages 50-69, Springer, 1996.
Abstract is missing.