On Restrictions of Ordered Paramodulation with Simplification.

Leo Bachmair, Harald Ganzinger

Browse the full CADE paper archive.