Subsumption Demodulation in First-Order Theorem Proving.

Bernhard Gleiss, Laura Kovcs, Jakob Rath

Browse the full CADE paper archive.