Paramodulation with non-monotonic orderings | Publicación