Andrzej Ehrenfeucht Tero Harju Grzegorz Rozenberg Embedding linear orders in grids. 419-428 2006 42 Acta Inf. 6-7 http://dx.doi.org/10.1007/s00236-005-0001-9 db/journals/acta/acta42.html#EhrenfeuchtHR06