Paramodulation with non-monotonic orderings | IEEE Conference Publication | IEEE Xplore