TY - RPRT TI - Decidable Expansions of Labelled Linear Orderings AU - Alexis Bes AU - Alexander Rabinovich PY - 2011 DO - 10.2168/lmcs-7(2:5)2011 UR - https://arxiv.org/abs/1102.2232 ID - 1102.2232 ER -