@misc{indiciae10e0513e344c,
  title = {Weakening Goals in Logical Specifications},
  author = {Ben M. Andrew},
  year = {2025},
  doi = {10.1007/978-3-031-94533-5\_22},
  url = {https://arxiv.org/abs/2510.15718},
  note = {Source identifier: 2510.15718}
}