Paramodulation with Well-founded Orderings | Publicación