TY  - RPRT
TI  - Weakening Goals in Logical Specifications
AU  - Ben M. Andrew
PY  - 2025
DO  - 10.1007/978-3-031-94533-5_22
UR  - https://arxiv.org/abs/2510.15718
ID  - 2510.15718
ER  -