@misc{indiciae4ba5a14918de,
  title = {A Programming Language for Feasible Solutions},
  author = {Weijun Chen and Yuxi Fu and Huan Long},
  year = {2026},
  doi = {10.1007/978-3-032-07106-4\_4},
  url = {https://arxiv.org/abs/2507.19176},
  note = {Source identifier: 2507.19176}
}