TY  - RPRT
TI  - Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership
AU  - Andreas Krebs
AU  - Kamal Lodaya
AU  - Paritosh K. Pandya
AU  - Howard Straubing
PY  - 2020
DO  - 10.23638/lmcs-16(3:16)2020
UR  - https://arxiv.org/abs/1902.05905
ID  - 1902.05905
ER  -