TY  - RPRT
TI  - FO = FO3 for linear orders with monotone binary relations
AU  - Marie Fortin
PY  - 2019
UR  - https://arxiv.org/abs/1904.00189
ID  - 1904.00189
ER  -