Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis and Albert
Rubio
Paramodulation with Non-Monotonic
Orderings.
Procs. 14th Annual IEEE Symposium on Logic in Computer Science
(LICS).
Trento, Italy.
IEEE Comp. Sc. Press, pages 225-234. © IEEE.