Axiomatization and undecidability results for linear betweenness relations Robert Mendris; Pavol Zlatoš — 1996 Mathematica Slovaca