Ground Canonicity
<|reference_start|>Ground Canonicity: We explore how different proof orderings induce different notions of saturation. We relate completion, paramodulation, saturation, redundancy elimination, and rewrite system reduction to proof orderings.<|reference_end|>
@article{dershowitz2003ground,
    title={Ground Canonicity},
    author={Nachum Dershowitz},
    journal={arXiv preprint arXiv:cs/0304017},
    year={2003},
    archivePrefix={arXiv},
    eprint={cs/0304017},
    primaryClass={cs.LO}
}