Redundancy Notions for Paramodulation with Non-monotonic Orderings | Publicación