Normalizable linear orders and generic computations in finite models

Alexei P. Stolboushkin, Michael A. Taitslin. Normalizable linear orders and generic computations in finite models. Arch. Math. Log., 38(4-5):257-271, 1999. [doi]