TY  - RPRT
TI  - A Canonical Model for Constant Domain Basic First-Order Logic
AU  - Ben Middleton
PY  - 2020
DO  - 10.1007/s11225-020-09900-7
UR  - https://arxiv.org/abs/1907.07013
ID  - 1907.07013
ER  -