@misc{indiciae439213c018c0,
  title = {Ground Canonicity},
  author = {Nachum Dershowitz},
  year = {2003},
  url = {https://arxiv.org/abs/cs/0304017},
  note = {Source identifier: cs/0304017}
}