Paramodulation with Non-Monotonic Orderings.

Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio

Browse the full LICS paper archive.