Dawar, Lindell, Weinstein, 1996. First order logic, fixed point logic and linear order, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/3-540-61377-3_37