TY  - RPRT
TI  - When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic
AU  - Zachary Kincaid
AU  - Nicolas Koh
AU  - Shaowei Zhu
PY  - 2022
UR  - https://arxiv.org/abs/2211.04000
ID  - 2211.04000
ER  -