Equality Elimination for the Inverse Method and Extension Procedures.

Anatoli Degtyarev, Andrei Voronkov

Browse the full IJCAI paper archive.