TY  - RPRT
TI  - Two-variable Logic with a Between Predicate
AU  - Andreas Krebs
AU  - Kamal Lodaya
AU  - Paritosh Pandya
AU  - Howard Straubing
PY  - 2016
UR  - https://arxiv.org/abs/1603.05625
ID  - 1603.05625
ER  -