TY - JOUR AU - Mendris, Robert AU - Zlatoš, Pavol TI - Axiomatization and undecidability results for linear betweenness relations JO - Mathematica slovaca PY - 1996 SP - 305 EP - 315 VL - 46 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MASLO_1996__46_4_a1/ LA - en ID - MASLO_1996__46_4_a1 ER -