TY  - RPRT
TI  - An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)
AU  - Willem Conradie
AU  - Salih Durhan
AU  - Guido Sciavicco
PY  - 2020
DO  - 10.23638/lmcs-16(2:1)2020
UR  - https://arxiv.org/abs/1809.04468
ID  - 1809.04468
ER  -