@misc{indiciaec49093e3fa6d,
  title = {Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates},
  author = {Shaowei Zhu and Zachary Kincaid},
  year = {2024},
  doi = {10.1007/978-3-031-65627-9\_21},
  url = {https://arxiv.org/abs/2409.18063},
  note = {Source identifier: 2409.18063}
}