Inference Rules for Rewrite-Based First-Order Theorem Proving

Leo Bachmair, Nachum Dershowitz

Browse the full LICS paper archive.