What You Always Wanted to Know About Rigid E-Unification

Anatoli Degtyarev, Andrei Voronkov, José Júlio Alferes (Editor), Luís Moniz Pereira (Editor), Ewa Orlowska (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Cite this