TY  - RPRT
TI  - Axiomatization of betweenness in order-theoretic trees
AU  - Bruno Courcelle
PY  - 2021
DO  - 10.23638/lmcs-17(1:11)2021
UR  - https://arxiv.org/abs/2004.10127
ID  - 2004.10127
ER  -