Definability in First Order Theories of Graph Orderings.

Ramaswamy Ramanujam, Ramanathan S. Thinniyam

Browse the full LFCS paper archive.