Equality Elimination for the Inverse Method and Extension Procedures

Anatoli Degtyarev, Andrei Voronkov

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

    Cite this