@misc{indiciae3278bbf1f762,
  title = {A weakly monotonic, logically constrained, HORPO-variant},
  author = {Cynthia Kop},
  year = {2024},
  url = {https://arxiv.org/abs/2406.18493},
  note = {Source identifier: 2406.18493}
}