Partial Redundancy in Saturation.

Mrton Hajd, Laura Kovcs, Andrei Voronkov

Browse the full CADE paper archive.