1 paper · 1 filter
Nachum Dershowitz
We explore how different proof orderings induce different notions of saturation. We relate completion, paramodulation, saturation, redundancy elimination, and rewrite system reduct…