Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation.

Miquel Bofill, Albert Rubio

Browse the full CADE paper archive.