Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation | Publicación