Axiomatization of betweenness in order-theoretic trees.

Bruno Courcelle
Published in: CoRR (2020)