TY  - RPRT
TI  - Effective Completeness for S4.3.1-Theories with Respect to Discrete Linear Models
AU  - David Nichols
PY  - 2025
UR  - https://arxiv.org/abs/1712.00317
ID  - 1712.00317
ER  -