Two-variable Logic with a Between Relation
2016
LICS2016
https://dl.acm.org/doi/10.1145/2933575.2935308
logic